Don’t eliminate cut (1984)

by George Boolos
Venue:Journ. of Phil. Logic