Author： Zach R.
Publisher： Taylor & Francis Ltd
ISSN： 1464-5149
Source： History and Philosophy of Logic, Vol.25, Iss.2, 2004-05, pp. : 79-94
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 Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
By Zach R.
Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. :
Access to resources
Recommend
Proofs of the Compactness Theorem
History and Philosophy of Logic, Vol. 31, Iss. 1, 2010-02 ,pp. :
On the Meaning of Hilbert's Consistency Problem (Paris, 1900)
By Moriconi E.
Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. :
An Institution-Independent Proof of the Robinson Consistency Theorem
By Gâinâ Daniel Popescu Andrei
Studia Logica, Vol. 85, Iss. 1, 2007-02 ,pp. :