Advanced methods of proof theory and the analysis of proofs.
Methods of Cut-Elimination (Cut-Elimination is the most important proof transformation)
Not necessary
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.