Publisher： Cambridge University Press
E-ISSN： 1943-5894|3|2|181-215
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.3, Iss.2, 1997-06, pp. : 181-215
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
Special selection in logic in computer science
The Journal of Symbolic Logic, Vol. 62, Iss. 2, 1997-06 ,pp. :
Access to resources
Recommend
On the Unusual Effectiveness of Logic in Computer Science
Bulletin of Symbolic Logic, Vol. 7, Iss. 2, 2001-03 ,pp. :
Recursion theory and the lambda-calculus
The Journal of Symbolic Logic, Vol. 47, Iss. 1, 1982-03 ,pp. :
Storage operators and directed lambda-calculus
The Journal of Symbolic Logic, Vol. 60, Iss. 4, 1995-12 ,pp. :
The Journal of Symbolic Logic, Vol. 9, Iss. 4, 1944-12 ,pp. :