Model theory / Marker, David

Public ISBD Titre : Model theory : an introduction Type de document : texte imprimé Auteurs : Marker, David Editeur : New York, NY : Springer Année de publication : 2002 Collection : Graduate Texts in Mathematics num. 217 Importance : viii - 342 p. ISBN/ISSN/EAN : 978-0-387-98760-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 : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie Model theory : an introduction [texte imprimé] / Marker, David . - New York, NY : Springer, 2002 . - viii - 342 p. . - (Graduate Texts in Mathematics; 217) . ISBN : 978-0-387-98760-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 : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie

Exemplaires

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

Models and games / Jouko Väänänen

Public ISBD Titre : Models and games Type de document : texte imprimé Auteurs : Jouko Väänänen, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2011 Collection : Cambridge Studies in Advanced Mathematics. num. 132 Importance : ix - 367 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-51812-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A80 Applications of game theory Mots-clés : game-theoretic model-theory  back-and-forth method  Mostowski-Lindström quantifiers  first order logic  finite model theory  infinitary logics Index. décimale : 03C Monographie Models and games [texte imprimé] / Jouko Väänänen, Auteur . - Cambridge : Cambridge University Press, 2011 . - ix - 367 p. ; 24 cm. - (Cambridge Studies in Advanced Mathematics.; 132) . ISBN : 978-0-521-51812-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A80 Applications of game theory Mots-clés : game-theoretic model-theory  back-and-forth method  Mostowski-Lindström quantifiers  first order logic  finite model theory  infinitary logics Index. décimale : 03C Monographie

Exemplaires

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

Saturated model theory / Sacks, Gerald E.

Public ISBD Titre : Saturated model theory Type de document : texte imprimé Auteurs : Sacks, Gerald E. Editeur : Reading, Ma : W.A.Benjamin Année de publication : 1972 Collection : Mathematics lecture notes series Importance : xiv - 335 p. ISBN/ISSN/EAN : 978-0-8053-8380-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 03-XX Mathematical logic and foundations:03CXX Model theory:03C68 Other classical first-order model theory Mots-clés : mathematical logic  model theory Index. décimale : 03C Monographie Saturated model theory [texte imprimé] / Sacks, Gerald E. . - Reading, Ma : W.A.Benjamin, 1972 . - xiv - 335 p.. - (Mathematics lecture notes series) . ISBN : 978-0-8053-8380-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory 03-XX Mathematical logic and foundations:03CXX Model theory:03C68 Other classical first-order model theory Mots-clés : mathematical logic  model theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1743	03C76	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

the Metamathematics of algebraic systems / Mal'cev, Anatolii I.

Public ISBD Titre : the Metamathematics of algebraic systems : collected papers : 1936-1967 Type de document : texte imprimé Auteurs : Mal'cev, Anatolii I. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in Logic and the Foundations of Mathematics num. 66 Importance : xviii - 494 p. Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations 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  mathematical logic Index. décimale : 03B Publication collective the Metamathematics of algebraic systems : collected papers : 1936-1967 [texte imprimé] / Mal'cev, Anatolii I. . - Amtsterdam : North-Holland Publishing Company, 1971 . - xviii - 494 p.. - (Studies in Logic and the Foundations of Mathematics; 66) . Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations 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  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

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

---

page 1/1