Beweistheorie - Schuette, Kurt (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 1960)