Author： Sundholm Göran
Publisher： Springer Publishing Company
ISSN： 0039-7857
Source： Synthese, Vol.148, Iss.3, 2006-02, pp. : 623-638
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 Brief History of Natural Deduction
History and Philosophy of Logic, Vol. 20, Iss. 1, 1999-03 ,pp. :
Access to resources
Recommend
Natural Deduction and Curry's Paradox
Journal of Philosophical Logic, Vol. 36, Iss. 2, 2007-04 ,pp. :
Automated Natural Deduction in Thinker
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
Linear Lambda-Terms and Natural Deduction
By Mints G.
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
Natural Deduction for Non-Classical Logics
By Basin D. Matthews S. Viganò L.
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :