Computation and deduction. Unpublished lecture notes (1994)

by Frank Pfenning