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 : |
|
Nantilus
