Choose an application

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

Choose an application

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

Provability, Computability and Reflection

Nonclassical mathematical logic --- Model theory --- Computable functions --- Fonctions calculables --- Congresses --- Congrès --- -Model theory --- -Nonclassical mathematical logic --- -Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Congresses. --- -Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Mathematical logic, Nonclassical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Logique mathématique --- Nonclassical mathematical logic - Congresses --- Model theory - Congresses --- Computable functions - Congresses