Date  Topic 
Notes/Readings  Assignments 
Week 1 
8/23 
Introduction to the Course 
Introduction to the Course 
Week 2 
8/28 
Lecture 2 
Lecture 2 
Problem Set 1 
Week 3 
9/4 
Lecture 3 and 4 
Lecture 3 and 4 
9/6 
Lecture 5 
Review of Evidence Semantics 
Week 4 
9/11 
Lecture 6 
Notes on Evidence Semantics and Geometry
Slides on Evidence Semantics and Geometry 
9/13 
Lecture 7 

Problem Set 2 
Week 5 
9/20 
Lecture 8 
Reading: Kleene's Postulates
Reading: Propositional Calculus  Heyting 
Week 6 
9/27 
Lecture 10 
iFOL Rules 
10/11 
Lecture 13 
Propositional Intuitionistic Logic from Beth's Foundations of Mathematics 
10/16 
Lecture 14 
Propositional Intuitionistic Logic  Semantics

10/18 
Lecture 15 
Propositional Intuitionistic Logic  Proof Theory
Reading: Constructive Completeness Proof  Underwood 
Problem Set 3 
10/23 10/25 
Lecture 16, 17 
Programs and Decision Procedures for iPC

10/30 
Lecture 18 
First Order Logic and Proof Systems

11/01 
Lecture 19 
Lecture Examples

11/13 
Lecture 22 
Notes on Data Structuring  Hoare
A Basis for a Mathematical Theory of Computation  McCarthy
