Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Provability, Computability and Reflection

Mathematical logic --- Model theory. --- Axiomatic set theory. --- Forcing (Model theory). --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Intuitionistic mathematics. --- Mathématiques intuitionnistes. --- Axiomatic set theory --- Théorie des modèles --- Théorie axiomatique des ensembles --- Forcing (Théorie des modèles) --- EPUB-LIV-FT ELSEVIER-B --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- 510.2 --- Axioms --- Set theory --- 510.2 Foundations of mathematics --- Foundations of mathematics