Nantilus
Finite model theory
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Édition : | 2nd revised and enlarged edition |
| Publié : |
Berlin, New York :
Springer
, 1999 |
| Description matérielle : | 1 vol. (XIII-360 p.) |
| Collection : | Perspectives in mathematical logic |
| Sujets : |
Chargement en cours