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