Beweistheorie - Schuette, Kurt (Springer-Verlag, 1960)