Author: Avigad Jeremy
Publisher: Springer Publishing Company
ISSN: 0039-7857
Source: Synthese, Vol.153, Iss.1, 2006-11, pp. : 105-159
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
The Surveyability of Mathematical Proof: A Historical Perspective
By Bassler O.
Synthese, Vol. 148, Iss. 1, 2006-01 ,pp. :
By Hammer E.
Journal of Philosophical Logic, Vol. 25, Iss. 5, 1996-10 ,pp. :
Mathematical Proof Theory in the Light of Ordinal Analysis
By Kahle R.
Synthese, Vol. 133, Iss. 1-2, 2002-10 ,pp. :