Math 293A: Proof Theory


General

This is a course on proof theory. Much to learn here,

Instructor


[Stanford] [CS Dept.] [Mark Pichora]
Questions? Send them to:
mpichora@cs.stanford.edu