Author： Ferrari M. Fiorentini C.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.73, Iss.1, 2003-02, pp. : 21-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
Theories and Ordinals in Proof Theory
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :
Access to resources
Recommend
By Otte Michael
Foundations of Science, Vol. 11, Iss. 1-2, 2006-03 ,pp. :
By Negri Sara
Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. :
Equivalence: The paradox of theoretical analysis
Australasian Journal of Philosophy, Vol. 41, Iss. 2, 1963-01 ,pp. :
Proof Analysis. A Contribution to Hilbert's Last Problem
History and Philosophy of Logic, Vol. 34, Iss. 1, 2013-02 ,pp. :