Hyperproof. CSLI Lecture Notes (1994)

by J Barwise, J Etchemendy