A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Christian Michaux
Documents disponibles écrits par cet auteur
Affiner la recherche
Analysis and logic / Henson, C. Ward ; Finet, C. ; Odell, Edward ; Kechris, Alexander S. ; Iovino, Jose ; Christian Michaux
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14030 26C103 imprimé / autre CRDM 26/FONCTIONS DE VARIABLES REELLES Disponible Finite and algorithmic model theory / Javier Sparza ; Christian Michaux ; Charles Steinhorn
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 structuresMots-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 structuresMots-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