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

---

page 1/1