Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum [ Livre]
Langue: Anglais.Publication : Berlin, Heidelberg, Paris [etc.] : Springer, cop. 1995Description : XV-327 p. ; 24 cmISBN: 354060149X.Collection: Perspectives in mathematical logicClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Modèles, Théorie des | Logique symbolique et mathématiqueCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Magasin (archives) | F 4 1 EBB (Browse shelf) | Available | F 4 1 Logique mathématique | 00003097 |
Bibliogr. p. [313]-317. Index