Combinatory Logic Vol. 1

&
Amsterdam, Netherlands: North-Holland Publishing Company (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
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.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
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.
Combinatory Logic.CURRY & FEYS - 1958
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.
H. B. Curry and R. Feys, Combinatory Logic.Oskar Becker - 1958 - Philosophische Rundschau 6 (3/4):294.
Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Studies in Illative Combinatory Logic.J. P. Seldin - 1968 - V.R.B. Offsetdrukkerij.
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Introduction to combinatory logic.Sören Stenlund - 1971 - Uppsala,: Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen.
Set theory based on combinatory logic.Maarten Wicher Visser Bunder - 1969 - Groningen,: V. R. B. --Offsetdrukkerij (Kleine der A 3-4).
Combinatory Logic: Pure, Applied and Typed.Katalin Bimbó - 2011 - Taylor & Francis.

Analytics

Added to PP
2020-09-03

Downloads
39 (#411,404)

6 months
14 (#185,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Certain Verbs Are Syntactically Explicit Quantifiers.Anna Szabolcsi - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:5.
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references