Journal of Philosophical Logic

, Volume 13, Issue 4, pp 373–378

Don't eliminate cut

Authors

  • George Boolos
    • Department of Linguistics and PhilosophyMassachusetts Institute of Technology
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