Topics in Logic and Complexity

Lecture Note Handouts:

Handout 1

Reading List

Listed below are suggested readings from the following textbooks to accompany the lecture material.

1. C.H. Papadimitriou. Computational Complexity. Addison-Wesley. 1994.
2. S. Arora and B. Barak. Computational Complexity. Cambridge University Press. 2009.
3. H.-D. Ebbinghaus and J. Flum. Finite Model Theory (2nd ed.). Springer. 1999.
4. N. Immerman. Descriptive Complexity. Springer. 1999.
5. L. Libkin. Elements of Finite Model Theory. Springer. 2004.
6. E. Grädel et al. Finite Model Theory and its Applications. Springer. 2007.