Don’t eliminate cut (1984)

by George Boolos
Venue:Journal of Philosophical Logic