Journal of Symbolic Logic 42 (1):109-110 (1977)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2272327
Options
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: 53,497
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

No references found.

Add more references

Citations of this work BETA

Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The Proper Treatment of Variables in Predicate Logic.Kai Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.
Is Reality Fundamentally Qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.

View all 43 citations / Add more citations

Similar books and articles

Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.

Analytics

Added to PP index
2017-02-21

Total views
11 ( #769,194 of 2,348,159 )

Recent downloads (6 months)
1 ( #510,741 of 2,348,159 )

How can I increase my downloads?

Downloads

My notes