Notes on deductive systems (1994)

by F Pfenning