Combinatory Logic

, &
Journal of Symbolic Logic 42 (1):109-110 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272327

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
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.
Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Combinatory Logic.J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Combinatory logic with discriminators.John T. Kearns - 1969 - Journal of Symbolic Logic 34 (4):561-575.
Curry Haskell B.. A revision of the fundamental rules of combinatory logic. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Combinatory Logic.CURRY & FEYS - 1958
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Combinatory Logic with Discriminators.John T. Kearns - 1973 - Journal of Symbolic Logic 38 (2):339-340.

Analytics

Added to PP
2017-02-21

Downloads
31 (#533,234)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Is reality fundamentally qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.
The proper treatment of variables in predicate logic.Kai F. Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.

View all 57 citations / Add more citations

References found in this work

No references found.

Add more references