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
Instructor:
Henry Towsner
E-mail:
htowsner@math.upenn.edu
Office:
4N51
Office Hours:
Tuesday 1:30-3, Wednesday 12:30-2, or by appointment
Office Phone:
(215) 898-8474
Syllabus:
Course Syllabus
Textbook
The textbook for this class is
A TeXas-Style Introduction to Proof
, by Ron Taylor and Patrick X. Rault.