Finite and algorithmic model theory

Finite and algorithmic model theory

Saved in:
Bibliographic Details
Other Authors : Esparza Javier (Éditeur scientifique), Michaux Christian (Éditeur scientifique), Steinhorn Charles (Éditeur scientifique)
Format : Book
Language : anglais
Title statement : Finite and algorithmic model theory / edited by Javier Esparza,... Christian Michaux,... Charles Steinhorn,...
Published : Cambridge, New York (etc.) : Cambridge University Press , cop. 2011
Physical Description : 1 vol. (XI-341 p.)
Series : London Mathematical Society lecture note series ; 379
Subjects :
Théorie des modèles
Informatique > Mathématiques
Description
Bibliography : Bibliogr. p.339-341
ISBN : 978-0-521-71820-2
0-521-71820-1