Author： Berger Ulrich Berghofer Stefan Letouzey Pierre Schwichtenberg Helmut
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.82, Iss.1, 2006-02, pp. : 25-49
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
From the Knowability Paradox to the existence of proofs
By Dean W.
Synthese, Vol. 176, Iss. 2, 2010-09 ,pp. :
Access to resources
Recommend
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
By Zach R.
Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. :
Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. :