Documents disponibles dans la collection

Gödel's incompleteness theorems / Raymond M. Smullyan

Public ISBD Titre : Gödel's incompleteness theorems Type de document : texte imprimé Auteurs : Raymond M. Smullyan Editeur : Oxford University Press Année de publication : 1992 Collection : Oxford Logic Guides num. 19 Importance : xiii, 139 p. Format : 23 cm. - ISBN/ISSN/EAN : 978-0-19-504672-4 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : Gödel's incompleteness theorems  Tarski truth set  axiomatic arithmetic based on plus, times and power  Peano arithmetic  Montague-Kalish axiomatization for first-order logic  original Gödel proof Index. décimale : 03C Monographie Gödel's incompleteness theorems [texte imprimé] / Raymond M. Smullyan . - Oxford University Press, 1992 . - xiii, 139 p. ; 23 cm. -. - (Oxford Logic Guides; 19) . ISBN : 978-0-19-504672-4 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : Gödel's incompleteness theorems  Tarski truth set  axiomatic arithmetic based on plus, times and power  Peano arithmetic  Montague-Kalish axiomatization for first-order logic  original Gödel proof Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18290	03C172	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible