15-399 Constructive Logic
Lecture 7: Classical and Constructive Logic

This lecture investigates the differences between constructive and classical logical reasoning.

This lecture is given by Jeremy Avigad.

• Reading: class.pdf, pp. 1-12
• Previous lecture: Subject Reduction
• Next lecture: Double Negation Translation

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning