Raggio, A. R. Kurt Schuette, Beweistheorie. CRHF 1968, 2, 125-126.