John R. Steel: Courses 

Math 136: Incompleteness and Undecidability

Spring 2018, TTh 11:00--12:30, 241 Cory
Instructor: John R. Steel, 717 Evans,
Office Hours: To be announced.
E-mail address: coremodel@berkeley.edu

Available documents:


Last modified: Feb 20 08:38:03 PST 2010