Goodell John D.. Decision elements. Radio-electronic engineering , 07 1952, pp. 3–5. Goodell John D.. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 , pp. 1–13.Lode Tenny. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 , pp. 14–22 [Book Review]

&
Journal of Symbolic Logic 18 (3):283-284 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267446

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Goodell John D.. The foundations of computing machinery. Part II. The journal of computing systems , vol. 1 no. 2 , pp. 86–110. [REVIEW]Nelson M. Blachman - 1953 - Journal of Symbolic Logic 18 (4):348-349.
Sobociński Bolesław. On a universal decision element. The journal of computing systems, vol. 1 no. 2 , pp. 71–80.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):284-285.
Review: John D. Goodell, The Foundations of Computing Machinery. Part II. [REVIEW]Nelson M. Blachman - 1953 - Journal of Symbolic Logic 18 (4):348-349.
Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 , pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 , pp. 348–356. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101.
Henry D. P.. Expressions trivially decidable. The journal of computing systems, vol. 1 no. 4 , pp. 221–224.Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):63-64.
Norman M. Martin. Note on the completeness of decision element sets. The Journal of computing systems, vol. 1 no. 4 , p. 220. [REVIEW]Alonzo Church - 1967 - Journal of Symbolic Logic 32 (1):134.
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Elgot Calvin C.. On single vs. triple address computing machines. Journal of the Association for Computing Machinery, vol. 1 no. 3 , pp. 119–123. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):208-209.
Carter W. C. and Rettig A. S.. Analytic minimization methods I: Conjunctive forms. The journal of computing systems, vol. 1 no. 3 , pp. 179–195. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (3):232-233.

Analytics

Added to PP
2016-06-30

Downloads
34 (#484,550)

6 months
16 (#172,468)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references