2 résultat(s) recherche sur le mot-clé 'categoricity'

Completeness, compactnss, and undecidability / Manaster, Alfred B.

Public ISBD 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

Exemplaires

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

A shorter model theory / Wilfrid Hodges

Public ISBD Titre : A shorter model theory Type de document : texte imprimé Auteurs : Wilfrid Hodges Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Importance : x, 310 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-58713-6 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:03CXX Model theory Mots-clés : model theory  omitting types  stability  categoricity  quantifier elimination Index. décimale : 03C Monographie A shorter model theory [texte imprimé] / Wilfrid Hodges . - Cambridge : Cambridge University Press, 1997 . - x, 310 p. : ill. ; 23 cm. ISBN : 978-0-521-58713-6 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:03CXX Model theory Mots-clés : model theory  omitting types  stability  categoricity  quantifier elimination Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18327	03C173	imprimé / autre	CRDM	05/ANALYSE COMBINATOIRE	Disponible