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

Finite model theory / Ebbinghaus, Heinz-Dieter

Public ISBD Titre : Finite model theory Type de document : texte imprimé Auteurs : Ebbinghaus, Heinz-Dieter ; Flum, Jörg Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1999 Collection : Perspectives in Mathematical Logic Importance : xiii - 360 p. ISBN/ISSN/EAN : 978-3-540-65758-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:03C13 Finite structures 68-XX Computer science :68QXX Theory of computing:68Q19 Descriptive complexity and finite models Index. décimale : 03C Monographie Finite model theory [texte imprimé] / Ebbinghaus, Heinz-Dieter ; Flum, Jörg  . -  2nd ed. . - [S.l.] : Springer-Verlag, 1999 . - xiii - 360 p.. - (Perspectives in Mathematical Logic) . ISBN : 978-3-540-65758-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:03C13 Finite structures 68-XX Computer science :68QXX Theory of computing:68Q19 Descriptive complexity and finite models Index. décimale : 03C Monographie

Exemplaires

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

Generative complexity in algebra / Berman, Joel

Public ISBD Titre : Generative complexity in algebra Type de document : texte imprimé Auteurs : Berman, Joel, Auteur ; Idziak, Paweł M., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2005 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 828 Importance : vii - 159 p. ISBN/ISSN/EAN : 978-0-8218-3707-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts 08-XX General algebraic systems:08AXX Algebraic structures :08A05 Structure theory Mots-clés : enumeration of finite algebras  classification of finite algebras  locally finite varieties  free spectra Index. décimale : Mem Generative complexity in algebra [texte imprimé] / Berman, Joel, Auteur ; Idziak, Paweł M., Auteur . - Providence, R.I. : American Mathematical Society, 2005 . - vii - 159 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 828) . ISBN : 978-0-8218-3707-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts 08-XX General algebraic systems:08AXX Algebraic structures :08A05 Structure theory Mots-clés : enumeration of finite algebras  classification of finite algebras  locally finite varieties  free spectra Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19189	Mem/828	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1