Home
Teaching
Online Lectures on Goodstein's Theorem
Math 570
Previous Courses
Papers
Research Notes
Reviews
Proof Theory Notes
Book on ultraproducts in graph theory: Randomness in the Limit
Logic at UPenn
Part 1: Propositional Logic
(last update: 1/17/13)
Part 2: First-Order Logic
(last update: 1/31/13)
Part 3: Peano and Heyting Arithmetic
(last update: 2/24/13)
Part 4: Reverse Mathematics
(last update: 4/2/13)