Combinatory Logic

Amsterdam: North-Holland Pub. Co. (1958)

Abstract

CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

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

Through your library

Analytics

Added to PP
2009-09-15

Downloads
59 (#196,878)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

Is Reality Fundamentally Qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.
The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
The Proper Treatment of Variables in Predicate Logic.Kai Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.

View all 72 citations / Add more citations

Similar books and articles

Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.
Combinatory Reduction Systems.Jan Willem Klop - 1963 - Mathematisch Centrum.
The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
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.
The Combinatory Programme.Erwin Engeler (ed.) - 1994 - Birkhäuser.