Don't eliminate cut in (1984)

by G S Boolos
Venue:Journal of Philosophical Logic Volume 13, No.4