Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum [ Livre]

Auteur principal: Ebbinghaus, Heinz-DieterCo-auteur: Flum, JörgLangue: 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ématique
Current 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

Powered by Koha