Proof Theory: Some Applications of Cut-Elimination [chapter]

Helmut Schwichtenberg
1977 Studies in Logic and the Foundations of Mathematics  
doi:10.1016/s0049-237x(08)71124-8 fatcat:ewrump3wpfhbjewfhzxz3j7lwi