Author： Baker Alan
Publisher： Routledge Ltd
ISSN： 0004-8402
Source： Australasian Journal of Philosophy, Vol.80, Iss.4, 2002-12, pp. : 533-534
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Foundations of Mathematics in Polymorphic Type Theory
By Holmes M.R.
Topoi, Vol. 20, Iss. 1, 2001-01 ,pp. :
Access to resources
Recommend
IF logic and the foundations of mathematics
Synthese, Vol. 126, Iss. 1-2, 2001-01 ,pp. :
A Revolution in the Foundations of Mathematics?
By Hintikka J.
Synthese, Vol. 111, Iss. 2, 1997-05 ,pp. :
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
History and Philosophy of Logic, Vol. 29, Iss. 3, 2008-08 ,pp. :