Beweistheorie.
Series: Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete -- Bd. 103
Publisher: Springer
Published: 1960
Place of publication: Berlin
Language: ger
Number of pages: 355
Subjects: Metamathematics