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