a Course in Model Theory / Poizat, B.

Public ISBD Titre : a Course in Model Theory : an Introduction to Contemporary Mathematical Logic Type de document : texte imprimé Auteurs : Poizat, B. ; Klein, M. Trad. Editeur : London : Springer Année de publication : 2000 Collection : Universitext ISBN/ISSN/EAN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français 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:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie a Course in Model Theory : an Introduction to Contemporary Mathematical Logic [texte imprimé] / Poizat, B. ; Klein, M. Trad. . - London : Springer, 2000. - (Universitext) . ISBN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français 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:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie

Exemplaires

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

Finite and algorithmic model theory / Javier Sparza ; Christian Michaux ; Charles Steinhorn

Public ISBD Titre : Finite and algorithmic model theory : Based on the workshop at the University of Durham, UK, January 9--13, 2006 Type de document : texte imprimé Auteurs : Javier Sparza ; Christian Michaux ; Charles Steinhorn, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2011 Collection : London Mathematical Society Lecture Note Series. num. 379 Importance : xi - 341 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-71820-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03CXX Model theory:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures Mots-clés : mathematical logic  proceedings of conferences  Durham, UK (2006) Index. décimale : 03B Publication collective Finite and algorithmic model theory : Based on the workshop at the University of Durham, UK, January 9--13, 2006 [texte imprimé] / Javier Sparza ; Christian Michaux ; Charles Steinhorn, Editeur scientifique . - [S.l.] : Cambridge University Press, 2011 . - xi - 341 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 379) . ISBN : 978-0-521-71820-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 03-XX Mathematical logic and foundations:03CXX Model theory:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures Mots-clés : mathematical logic  proceedings of conferences  Durham, UK (2006) Index. décimale : 03B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20890	ERC/03B19	imprimé / autre	CRDM	ERC	Disponible

---

page 1/1