Computability and Definability
Monographs
- C. Papadimitriou,
Computational Complexity, Addison-Wesley, 1994
-
H.D. Ebbinghaus, J. Flum and W. Thomas,
Mathematical Logic, Springer-Verlag, 1984
-
H.D. Ebbinghaus, J. Flum
Finite Model Theory , Springer-Verlag, 1995
-
N. Immerman,
Descriptive Complexity, Springer Verlag, 1998
-
L. Libkin,
Elements of Finite Model Theory , Springer-Verlag, 2004
-
E. Graedel,
Ph. Kolaitis,
L. Libkin,
M. Marx,
J. Spencer,
M.Y. Vardi,
Y. Venema and
S. Weinstein,
Finite Model Theory and its Applications , Springer-Verlag, 2004
Draft copy