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 [Book Review]

Journal of Symbolic Logic 19 (3):232-233 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268646

Links

PhilArchive



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

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

Analytic Minimization Methods I: Conjunctive Forms.W. C. Carter & A. S. Rettig - 1954 - Journal of Symbolic Logic 19 (3):232-233.
Sobociński Bolesław. Axiomatization of a conjunctive-negative calculus of propositions. The journal of computing systems, vol. 1 no. 4 , pp. 229–242. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):303-304.
McCarthy John. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 , pp. 184–195. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
Nelson Everett J.. The relation of logic to metaphysics. The philosophical review, vol. 58 , pp. 1–11. Reprinted, with addition of a Spanish abstract in Philosophy and phenomenological research, vol. 9 no. 3 , pp. 609–619.Ambrose Alice. Everett J. Nelson on “the relation of logic to metaphysics.” The philosophical review, vol. 58 , pp. 12–15.Hall Everett W.. The metaphysics of logic. The philosophical review, vol. 58 , pp. 16–25.Nagel Ernest. In defense of logic without metaphysics. The philosophical review, vol. 58 , pp. 26–34. [REVIEW]Mieczysław Choynowski - 1950 - Journal of Symbolic Logic 14 (4):250-253.
Ducasse C. J.. Some comments on C. W. Morris's “Foundations of the theory of signs.” Philosophy and phenomenological research, vol. 3 no. 1 , pp. 43–52. [REVIEW]Frederic B. Fitch - 1943 - Journal of Symbolic Logic 8 (2):57-57.
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. [REVIEW]Nelson M. Blachman & William W. Boone - 1953 - Journal of Symbolic Logic 18 (3):283-284.
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.
Meredith Carew A.. Single axioms for the systems , and of the two-valued propositional calculus. The journal of computing systems, vol. 1 no. 3 , pp. 155–164. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):143-144.
Norris Michael J.. Cofinally concentrated directed systems. The journal of computing systems, vol. 1 no. 2 , pp. 81–85.Matusima Yataro. On some problems of Birkhoff. Proceedings of the Japan Academy, vol. 28 , pp. 19–24. [REVIEW]Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (3):285-285.

Analytics

Added to PP
2013-11-03

Downloads
12 (#1,114,703)

6 months
3 (#1,045,901)

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