Beweistheorie. - Schütte, Kurt (Berlin : Springer Verlag, 1960)