Finite model theory

Finite model theory

Enregistré dans:
Détails bibliographiques
Auteur principal : Ebbinghaus Heinz-Dieter
Format : Livre
Langue : anglais
Titre complet : Finite model theory
Publié : Berlin : Springer , 1995
Description matérielle : XV-327 p.
Collection : Perspectives in mathematical logic
Sujets :
Théorie des modèles
Chargement en cours