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