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