Journal of Philosophical Logic

, Volume 12, Issue 2, pp 173–195

Against intuitionism: Constructive mathematics is part of classical mathematics

  • W. W. Tait
Article

DOI: 10.1007/BF00247188

Cite this article as:
Tait, W.W. J Philos Logic (1983) 12: 173. doi:10.1007/BF00247188

Copyright information

© D. Reidel Publishing Company 1983

Authors and Affiliations

  • W. W. Tait
    • 1
  1. 1.Department of PhilosophyUniversity of ChicagoChicagoU.S.A.