Proof theory
By: Kurt Schütte ; translation from the German by J. N. Crossley.
Series: Grundlehren der mathematischen Wissenschaften ;; 225
Publisher: Springer-Verlag
Published: 1977
Place of publication: Berlin; New York
Language: eng
Number of pages: 302
Subjects: Proof theory.
Notes: Bibliography: p. [293]-296.
Translation of Beweistheorie.
Includes index.