Title: Beweistheorie
First published: 1960
Subjects: Proof theory
LC classification: QA9