Journal of Symbolic Logic 35 (1):147 (1970)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2271198 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,214
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- jstor.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
Similar books and articles
Set Theory Based on Combinatory Logic.Maarten Wicher Visser Bunder - 1969 - Groningen, V. R. B. --Offsetdrukkerij (Kleine Der a 3-4).
Combinatory Logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory Logic. Volume II. Studies in Logic and the Foundations of Mathematics, Vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 Pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Category Theory Based on Combinatory Logic.M. W. Bunder - 1984 - Archive for Mathematical Logic 24 (1):1-16.
Some Generalizations to Two Systems of Set Theory Based on Combinatory Logic.M. W. Bunder - 1987 - Archive for Mathematical Logic 26 (1):5-12.
Various Systems of Set Theory Based on Combinatory Logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (2):192-206.
On Adding (Ξ) to Weak Equality in Combinatory Logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
Arithmetic Based on the Church Numerals in Illative Combinatory Logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Propositional and Predicate Calculuses Based on Combinatory Logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
Diagonal Fixed Points in Algebraic Recursion Theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Analytics
Added to PP index
2013-11-03
Total views
26 ( #439,144 of 2,507,559 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,559 )
2013-11-03
Total views
26 ( #439,144 of 2,507,559 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,559 )
How can I increase my downloads?
Downloads
