Titre :	A course in mathematical logic for mathematicians
Type de document :	texte imprimé
Auteurs :	Yuri Ivanovich Manin, Auteur
Mention d'édition :	2nd ed.
Editeur :	New York, NY : Springer
Année de publication :	2010
Collection :	Graduate Texts in Mathematics num. 53
Importance :	xvii - 384 p.
Format :	25 cm
ISBN/ISSN/EAN :	978-1-4419-0614-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:03BXX General logic:03B10 Classical first-order logic
Mots-clés :	mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness
Index. décimale :	03C Monographie

A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur  . -  2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) .
ISBN : 978-1-4419-0614-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:03BXX General logic:03B10 Classical first-order logic
Mots-clés :	mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness
Index. décimale :	03C Monographie