Proof theory - Schutte, Kurt; Crossley, J. N. (Berlin : Springer-Verlag, 1977)
Translation of: Beweistheorie
Includes bibliographical references and index
Keywords: Proof theory