Shelfclass_id | 3.D.4 |
Sortkey | LIBKIN, LEONID |
Authors | Leonid Libkin |
Title | Elements of Finite Model Theory |
Publisher | Springer-Verlag |
Year | c2004 |
Languages | eng |
Isbn | 3540212027 |
Series | Texts in theoretical computer science |
Description | xiv, 315 p. ill. 24 cm. |
Record date | 20070430 |
Location | New York, NY |
Keywords | Model theory |