Titre :	Completeness, compactnss, and undecidability : an introduction to mathematical logic
Type de document :	texte imprimé
Auteurs :	Manaster, Alfred B.
Editeur :	Englewood Cliffs, NJ : Prentice-Hall, Inc
Année de publication :	1975
Importance :	vi - 154 p.
ISBN/ISSN/EAN :	978-0-13-164624-7
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories
Mots-clés :	first-order logic  categoricity  mathematical logic
Index. décimale :	03C Monographie

Completeness, compactnss, and undecidability : an introduction to mathematical logic [texte imprimé] / Manaster, Alfred B. . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1975 . - vi - 154 p.
ISBN : 978-0-13-164624-7
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories
Mots-clés :	first-order logic  categoricity  mathematical logic
Index. décimale :	03C Monographie