An Accompaniment to higher mathematics. - Exner, George R. (New York Springer, 1996)
Keywords: Proof theory