John R. Steel: Courses 

Math 136: Incompleteness and Undecidability

Spring 2020, TTh 12:30--2:00, 310 Hearst Mining
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