Beweistheorie.
Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete,; Bd. 103; Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;; Bd. 103.
Publisher: Springer
Published: 1960
Place of publication: Berlin
Language: ger
Number of pages: 355
Subjects: Proof theory.
Notes: Includes bibliography.