Some Properties of Conversion

&
Journal of Symbolic Logic 1 (2):74-75 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268573

Links

PhilArchive



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

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: Alonzo Church, J. B. Rosser, Some Properties of Conversion. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):74-75.
Church Alonzo and Rosser J. B.. Some properties of conversion. Transactions of the American Mathematical Society, vol. 39 , pp. 472–482. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):74-75.
Review: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.
Review: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
On a Problem of J. H. C. Whitehead and a Problem of Alonzo Church.William W. Boone & Hartley Rogers - 1969 - Journal of Symbolic Logic 34 (3):506-507.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-172.
An Abstract form of the church-rosser theorem. I.R. Hindley - 1969 - Journal of Symbolic Logic 34 (4):545-560.
Review: J. B. Rosser, A. R. Turquette, Many-Valued Logics. [REVIEW]Boleslaw Sobocinski - 1955 - Journal of Symbolic Logic 20 (1):45-50.

Analytics

Added to PP
2015-02-05

Downloads
8 (#1,345,183)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Self-reference and validity.Stephen Read - 1979 - Synthese 42 (2):265 - 274.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references