Publisher： Cambridge University Press
E-ISSN： 1943-5894|4|2|129-171
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.4, Iss.2, 1998-06, pp. : 129-171
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
Bulletin of Symbolic Logic, Vol. 3, Iss. 2, 1997-06 ,pp. :
Access to resources
Recommend
Bulletin of Symbolic Logic, Vol. 4, Iss. 2, 1998-06 ,pp. :
In Memoriam: Alonzo Church 1903–1995
Bulletin of Symbolic Logic, Vol. 1, Iss. 4, 1995-12 ,pp. :
Intensional logic in extensional language
The Journal of Symbolic Logic, Vol. 47, Iss. 2, 1982-06 ,pp. :
Intensional logic and two-sorted type theory
The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. :