Weiterführende Techniken der Beweistheorie und der Analyse von Beweisen.
Methoden der Schnittelimination (Schnittelimination stellt die wichtigste Beweistransformation dar)
Nicht erforderlich
Tait, W. W. "Normal derivability in classical logic" in The Syntas and Semantics of Infinitary Languages
Springer Berlin, 1968, 72, 204-236
Eine Kopie dieses Artikels wird in VO ausgeteilt.