Author： Ganeri J.
Publisher： Springer Publishing Company
ISSN： 0039-7857
Source： Synthese, Vol.129, Iss.3, 2001-12, pp. : 413-437
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
A Proof System for Classical Logic
By Pogorzelski Witold Wojtylak Piotr
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. :
Access to resources
Recommend
Proof-theoretic Semantics for Classical Mathematics
By Tait William
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :
Objectivity Over Objects: A Case Study In Theory Formation
By Hauser K.
Synthese, Vol. 128, Iss. 3, 2001-09 ,pp. :
Theories and Ordinals in Proof Theory
Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. :