Lectures: MW 2 in BA 1220
Tutorial: F2 in BA 1220
Office: Sandford Fleming 2303C, 416-978-5183
Office Hours: MF 3:15 - 4:00 Or make an appointment, or drop in.
QUESTIONS VIA EMAIL ARE WELCOME.
Text: None. See Lecture Notes below.
Reference Link: Handbook of Proof Theory, Chapters I and II by Sam Buss
Please send corrections and comments to the instructor.
Link to CSC 438/2404 2008 website
Problem Sets (.ps files)