Publisher： Cambridge University Press
E-ISSN： 1943-5886|8|1|1-23
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.8, Iss.1, 1943-03, pp. : 1-23
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 Journal of Symbolic Logic, Vol. 15, Iss. 1, 1950-03 ,pp. :
Access to resources
Recommend
A system of formal logic without an analogue to the curry
The Journal of Symbolic Logic, Vol. 1, Iss. 3, 1936-09 ,pp. :
The system CΔ of combinatory logic
The Journal of Symbolic Logic, Vol. 28, Iss. 1, 1963-03 ,pp. :
On the role of implication in formal logic
The Journal of Symbolic Logic, Vol. 65, Iss. 3, 2000-09 ,pp. :
An Introduction to Formal Logic
Bulletin of Symbolic Logic, Vol. 10, Iss. 4, 2004-12 ,pp. :