The System CΔ of Combinatory Logic

Journal of Symbolic Logic 29 (4):198-199 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270380

Links

PhilArchive



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

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

The system cδ of combinatory logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.
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.
Review: Frederic B. Fitch, The System $CDelta$ of Combinatory Logic. [REVIEW]Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
Review: Frederic B. Fitch, Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Review: Frederic B. Fitch, (Sintez cifrovyh avtomatov):Representation of Sequential Circuits in Combinatory Logic. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380-380.
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.
Fitch Frederic B.. Elements of combinatory logic. Yale University Press, New Haven and London 1974, viii + 162 pp. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
Fitch Frederic B.. A basic logic.George D. W. Berry - 1943 - Journal of Symbolic Logic 8 (1):30-30.
Review: Frederic B. Fitch, A Theory of Logical Essences; Frederic B. Fitch, A Complete and Consistent Modal Set Theory. [REVIEW]Bede Rundle - 1969 - Journal of Symbolic Logic 34 (1):125-125.

Analytics

Added to PP
2017-02-21

Downloads
23 (#160,613)

6 months
14 (#987,135)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Property theory: The Type-Free Approach v. the Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.

Add more citations

References found in this work

No references found.

Add more references