15317 Constructive Logic
Lecture 9: Classical Logic
This lecture given by Dan Licata
In this lecture, we discuss classical logic and its relationship
to intuitionistic logic.
[ Home
 Schedule
 Assignments
 Handouts
 Software
]
fp@cs
Frank Pfenning
