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

Relations related to betweenness: Their structure and automorphisms / S.A. Adeleke

Public ISBD Titre : Relations related to betweenness: Their structure and automorphisms Type de document : texte imprimé Auteurs : S.A. Adeleke, Auteur ; Neumann, Peter M., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1998 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 623 Importance : 125 p. ISBN/ISSN/EAN : 978-0-8218-0623-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories 06-XX Order, lattices, ordered algebraic structures :06AXX Ordered sets:06A06 Partial order, general 08-XX General algebraic systems:08AXX Algebraic structures :08A02 Relational systems, laws of composition Mots-clés : semilinear order  betweenness relations  infinite permutation groups  tree-like structures  abstract chain sets  abstract set of directions  highly transitive groups  topology Index. décimale : Mem Relations related to betweenness: Their structure and automorphisms [texte imprimé] / S.A. Adeleke, Auteur ; Neumann, Peter M., Auteur . - Providence, R.I. : American Mathematical Society, 1998 . - 125 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 623) . ISBN : 978-0-8218-0623-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories 06-XX Order, lattices, ordered algebraic structures :06AXX Ordered sets:06A06 Partial order, general 08-XX General algebraic systems:08AXX Algebraic structures :08A02 Relational systems, laws of composition Mots-clés : semilinear order  betweenness relations  infinite permutation groups  tree-like structures  abstract chain sets  abstract set of directions  highly transitive groups  topology Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19638	Mem/623	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1