Finite model theory / Heinz-Dieter Ebbinghaus, Jorg Flum
Type de document : MonographieCollection : Perspectives in mathematical logicLangue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1995Description : 1 vol. (xv-327 p.) : ill. ; 24 cmISBN: 9783540601494.ISSN: 0172-6641.Bibliographie : Bibliogr. p. [313]-317. Index.Sujet MSC : 03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations68Q15, Computer science - Theory of computing, Complexity classes
03C13, Mathematical logic and foundations - Model theory, Model theory of finite structuresEn-ligne : Springerlink Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 03 EBB (Browse shelf(Opens below)) | Available | 11470-01 |
Bibliogr. p. [313]-317. Index
There are no comments on this title.