Elements of combinatory logic

New Haven,: Yale University Press (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.5.F57 1974

ISBN(s)

0300015232

DOI

10.2307/2272401

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,567

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: Frederic B. Fitch, Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Elements of Combinatory Logic. [REVIEW]F. K. C. - 1975 - Review of Metaphysics 28 (3):552-553.
A beginner's further guide to mathematical logic.Raymond M. Smullyan - 2017 - New Jersey: World Scientific.
Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 87–97.Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 , pp. 263–279. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380.
Frederic Brenton Fitch. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100. [REVIEW]Oskar Becker - 1937 - Journal of Symbolic Logic 2 (1):37-38.
Fitch Frederic Brenton. Symbolic logic. An introduction. The Ronald Press Company, New York 1952, x + 238 S.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
Studies in Illative Combinatory Logic.J. P. Seldin - 1968 - V.R.B. Offsetdrukkerij.

Analytics

Added to PP
2009-01-28

Downloads
43 (#553,688)

6 months
4 (#913,052)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Equality in.M. W. Bunder - 1978 - Mathematical Logic Quarterly 24 (8):125-127.
Equality in 21* with Restricted Subjects.M. W. Bunder - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):125-127.

Add more citations

References found in this work

No references found.

Add more references