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