Philosophy 1885: Handouts
Problem sets have their own page.
- Richard Heck, "Formal Background for Theories of Truth"
- Kurt Gödel, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I"
- George Boolos, The Logic of Provability, Ch. 2.
- Solomon Feferman, "Arithmetization of Metamathematics in a General Setting"
If you have not previously had any logic, you will need to do some catch-up along the way, and definitely when we get to that material. Here are some online textbooks, or something of the sort, that might help.