Beweistheorie - Schütte, Kurt (Die Grundlehren der Mathematischen Wissenschaften / Springer Verlag ;, 1960)