Beweistheorie
Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 103; 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
Notes: Bibliography: p.[345]-347.