Author： Waaldijk Frank
Publisher： Springer Publishing Company
ISSN： 1233-1821
Source： Foundations of Science, Vol.10, Iss.3, 2005-09, pp. : 249-324
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
Lipschitz functions in constructive reverse mathematics
By Loeb Iris
Logic Journal of the IGPL, Vol. 21, Iss. 1, 2013-02 ,pp. :
Access to resources
Recommend
The Foundations of Mathematics in the Theory of Sets
By Baker Alan
Australasian Journal of Philosophy, Vol. 80, Iss. 4, 2002-12 ,pp. :
Foundations of Mathematics in Polymorphic Type Theory
By Holmes M.R.
Topoi, Vol. 20, Iss. 1, 2001-01 ,pp. :
Can Constructive Mathematics be Applied in Physics?
By Bridges D.S.
Journal of Philosophical Logic, Vol. 28, Iss. 5, 1999-10 ,pp. :
IF logic and the foundations of mathematics
Synthese, Vol. 126, Iss. 1-2, 2001-01 ,pp. :