Mathematical Logic Quarterly 20 (19‐22):289-306 (1974)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19740201902
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.
Introduction to Combinatory Logic.Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):518-518.

Add more references

Citations of this work BETA

Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
Consistency of a $\lambda$ -Theory with $N$ -Tuples and Easy Term.Ying Jiang - 1995 - Archive for Mathematical Logic 34 (2):79-96.
Retracts of Numerations.Akira Kanda - 1989 - Annals of Pure and Applied Logic 42 (3):225-242.

Add more citations

Similar books and articles

Exercising Restraint: Autonomy, Welfare and Elderly Patients.S. Dodds - 1996 - Journal of Medical Ethics 22 (3):160-163.
There is No Safe Pairing Function Over an Arbitrary Structure.Olga Xirotiri - 2006 - Mathematical Logic Quarterly 52 (4):362-366.
What’s Wrong with Torture?Philip E. Devine - 2009 - International Philosophical Quarterly 49 (3):317-332.


Added to PP index

Total views
15 ( #701,238 of 2,520,788 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,788 )

How can I increase my downloads?


My notes