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