Computation and deduction. Lecture notes, available electronically at http://www.cs.cmu.edu/~twelf (0)

by Frank Pfenning