Author： Bimbó Katalin
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.33, Iss.2, 2004-04, pp. : 125-153
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
Investigation into Combinatory Systems with Dual Combinators
By Bimbó K.
Studia Logica, Vol. 66, Iss. 2, 2000-11 ,pp. :
Access to resources
Recommend
By Negri S.
Journal of Philosophical Logic, Vol. 31, Iss. 6, 2002-12 ,pp. :
The Classification of Propositional Calculi
Studia Logica, Vol. 66, Iss. 2, 2000-11 ,pp. :
Gentzen Calculi for the Existence Predicate
By Baaz Matthias Iemhoff Rosalie
Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. :
Studia Logica, Vol. 62, Iss. 2, 1999-03 ,pp. :