Finite and algorithmic model theory

Finite and algorithmic model theory

Enregistré dans:
Détails bibliographiques
Autres auteurs : Esparza Javier (Éditeur scientifique), Michaux Christian (Éditeur scientifique), Steinhorn Charles (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Finite and algorithmic model theory / edited by Javier Esparza,... Christian Michaux,... Charles Steinhorn,...
Publié : Cambridge, New York (etc.) : Cambridge University Press , cop. 2011
Description matérielle : 1 vol. (XI-341 p.)
Collection : London Mathematical Society lecture note series ; 379
Sujets :
Théorie des modèles
Informatique > Mathématiques
Chargement en cours