|
CS 15-317: Constructive Logic
(Spring 2012) |
|
|
CS 15-317: Constructive Logic
(Spring 2012) |
|
Most of this schedule is borrowed, with permission, from Frank Pfenning, who taught several editions of this course on the Pittsburgh campus of CMU.
| © 2012 Iliano Cervesato |