Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Axiomatic set theory --- Model theory --- Constructibility (Set theory) --- Théorie axiomatique des ensembles --- Théorie des modèles --- Constructibilité (Théorie des ensembles) --- EPUB-LIV-FT ELSEVIER-B --- Axiomatic set theory. --- Constructibility (Set theory). --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Model theory. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Constructible sets --- Sets, Constructible --- Axioms