Elements of finite model theory
By: Libkin, Leonid.
Material type:
BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer-Verlag, 2004Description: xiv, 315 p.; : 24 cm.ISBN: 3540212027 .Subject(s): Libkin, Leonid | Database | Finite model theory | Mathematical logicDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 LIB (Browse shelf) | Available | 010882 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 LAS Logic and complexity | 511.3 LAW Finite automata | 511.3 LAW Conceptual mathematics : a first introduction to categories | 511.3 LIB Elements of finite model theory | 511.3 LIM Introduction to Kolmogorov complexity and its applications | 511.3 LIN Course in combinatorics | 511.3 LIP P=NP question and Godel?s lost letter |
There are no comments for this item.