Post Emil L.. Finite combinatory processes—formulation 1

Journal of Symbolic Logic 2 (1):43-43 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200039591

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.Alonzo Church & Emil L. Post - 1937 - Journal of Symbolic Logic 2 (1):43-43.
Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
V. A. Uspensky. Post's machine. English translation by R. Alavina of Mašina Posta. Little mathematics library. Mir Publishers, Moscow, also distributed by Imported Publications, Chicago, 1983, 88 pp. - Emil L. Post. Finite combinatory processes—formulation 1. A reprint of II 43. Therein, pp. 84–88. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.
Church Alonzo. A formulation of the simple theory of types.W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Post Emil L.. Note on a conjecture of Skolem.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (1):28-28.
Post Emil L.. Recursive unsolvability of a problem of Thue.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):90-91.

Analytics

Added to PP
2016-06-30

Downloads
62 (#346,993)

6 months
19 (#158,749)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references