Normal view MARC view ISBD view

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, Theory of computing, Complexity classes (hierarchies, relations among complexity classes, etc.)
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.
Current location Call number Status Date due Barcode
CMI
Salle R
03 EBB (Browse shelf) Available 11470-01

Bibliogr. p. [313]-317. Index

There are no comments for this item.

Log in to your account to post a comment.