Teil 2 : (3 Heft zur Beweistheorie) (1974)