First-order logic / Raymond M. Smullyan

Public ISBD Titre : First-order logic Type de document : texte imprimé Auteurs : Raymond M. Smullyan Editeur : Springer-Verlag Année de publication : 1968 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 43 Importance : xii - 158 p. Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie First-order logic [texte imprimé] / Raymond M. Smullyan . - [S.l.] : Springer-Verlag, 1968 . - xii - 158 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 43) . Langues : Anglais Mots-clés : general logic Index. décimale : 03C Monographie

Exemplaires

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

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 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 . - [S.l.] : Oxford University Press, 1992 . - xiii, 139 p. ; 23 cm. -. - (Oxford Logic Guides; 19) . ISBN : 978-0-19-504672-4 Langues : Anglais 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

Exemplaires

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

Theory of formal systems / Raymond M. Smullyan

Public ISBD Titre : Theory of formal systems Type de document : texte imprimé Auteurs : Raymond M. Smullyan Editeur : Princeton : Princeton University Press Année de publication : 1961 Collection : Annals of Mathematics Studies num. 47 Importance : xi - 147 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie Theory of formal systems [texte imprimé] / Raymond M. Smullyan . - Princeton : Princeton University Press, 1961 . - xi - 147 p.. - (Annals of Mathematics Studies; 47) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1