Author： Jaffe A.
Publisher： Springer Publishing Company
ISSN： 0039-7857
Source： Synthese, Vol.111, Iss.2, 1997-05, pp. : 133-146
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Proof-theoretic Semantics for Classical Mathematics
By Tait William
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :
Access to resources
Recommend
Despite Pyhsicists, Proof Is Essential in Mathematics
By Mac Lane S.
Synthese, Vol. 111, Iss. 2, 1997-05 ,pp. :
By Dunham Nancy Birmingham Robert
Australasian Journal of Philosophy, Vol. 67, Iss. 4, 1989-12 ,pp. :