Finite model theory / Heinz-Dieter Ebbinghaus, Jorg Flum

Auteur principal : Ebbinghaus, Heinz-Dieter, 1939-, AuteurCo-auteur : Flum, Jörg, 1944-, AuteurType 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 foundations
68Q15, Computer science - Theory of computing, Complexity classes
03C13, Mathematical logic and foundations - Model theory, Model theory of finite structures
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
03 EBB (Browse shelf(Opens below)) Available 11470-01

Bibliogr. p. [313]-317. Index

There are no comments on this title.

to post a comment.