Publisher： Cambridge University Press
E-ISSN： 1943-5886|47|2|289-328
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.47, Iss.2, 1982-06, pp. : 289-328
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
An extensional variety of extended basic logic
The Journal of Symbolic Logic, Vol. 23, Iss. 1, 1958-03 ,pp. :
Access to resources
Recommend
Intensional logic and two-sorted type theory
The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. :
Alonzo Church's Contributions to Philosophy and Intensional Logic
Bulletin of Symbolic Logic, Vol. 4, Iss. 2, 1998-06 ,pp. :
The European Association for Logic, Language, and Computation
The Journal of Symbolic Logic, Vol. 59, Iss. 3, 1994-09 ,pp. :
Fourth European summer school in logic, language, and information
The Journal of Symbolic Logic, Vol. 58, Iss. 3, 1993-09 ,pp. :