Proof theory - Schutte, Kurt. (Berlin: Springer-Verlag, 1977)
Translation of Beweistheorie.
Includes index.
Keywords: Proof theory