PROOF THEORY - Schutte, Kurt; Crossley, J. N. (Berlin Springer-Verlag, 1977)
Bibliography : P. 293-296
Original Title : Beweistheorie
Keywords: Proof Theory