Lecture notes:

- Mathematical Logic: PDF, PS, DVI.
- Incompleteness and Undecidability: PDF, PS, DVI.
- Foundations of Mathematics: PDF, PS, DVI.
- Model Theory: PDF, PS, DVI.
- Topics in Logic and Foundations, Spring 2004: PDF, PS.
- Topics in Logic and Foundations, Spring 2005: PDF, PS, DVI.
- Computability, Unsolvability, and Randomness, Fall 2007: PDF, PS, DVI.
- Topics Course: Mass Problems, Spring 2009: PDF, PS, DVI.

Also available is information on my books and papers and talks.

t20@psu.edu / 16 June 2014