Beweistheorie - Schuette, Kurt (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : mit besonderer Beruecksichtigung der Anwendungsgebiete ;, 1960)