Reading List

Lecture notes for the course.

1. Raymond M. Smullyan, Gödel's Incompleteness Theorems (Oxford University Press, 1992).
2. George S. Boolos and Richard C. Jeffrey, Computability and Logic (3rd edition, Cambridge University Press, 1989), Chs 15, 16, 27 (pp 170-190, 268-284).
3. George Boolos, The Logic of Provability (Cambridge University Press, 1993).