Journal of Philosophical Logic

, Volume 13, Issue 4, pp 373–378

Don't eliminate cut

  • George Boolos
Article

DOI: 10.1007/BF00247711

Cite this article as:
Boolos, G. J Philos Logic (1984) 13: 373. doi:10.1007/BF00247711

Copyright information

© D. Reidel Publishing Company 1984

Authors and Affiliations

  • George Boolos
    • 1
  1. 1.Department of Linguistics and PhilosophyMassachusetts Institute of TechnologyCambridgeUSA