Beweistheorie. - Schütte, K. (Springer,, 1960)