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.


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

fp@cs
Frank Pfenning