Review: George W. Patterson, Logical Syntax and Transformation Rules [Book Review]

Journal of Symbolic Logic 17 (4):280-280 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266635

Links

PhilArchive



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

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

Patterson George W.. Logical syntax and transformation rules. Proceedings of a Second Symposium on Large-Scale Calculating Machinery , Harvard University Press, Cambridge, Mass., 1951, pp. 125–133. [REVIEW]Arthur W. Burks - 1952 - Journal of Symbolic Logic 17 (4):280-280.
Review: Arthur W. Burks, The Presupposition Theory of Induction; Arthur W. Burks, On the Presuppositions of Induction. [REVIEW]Jan Berg - 1968 - Journal of Symbolic Logic 33 (2):314-316.
Review: Arthur W. Burks, Jesse B. Wright, Theory of Logical Nets. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):141-142.
Review: Arthur W. Burks, Don W. Warren, Jesse B. Wright, An Analysis of a Logical Machine Using Parenthesis-Free Notation. [REVIEW]Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (1):70-71.
Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (3):332-332.
Review: Arthur W. Burks, Dispositional Statements. [REVIEW]Jan Berg - 1968 - Journal of Symbolic Logic 33 (2):313-314.
Review: Arthur W. Burks, A Theory of Proper Names. [REVIEW]J. F. Thomson - 1952 - Journal of Symbolic Logic 17 (3):213-214.
Review: Arthur W. Burks, Symposium: Justification in Science. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):65-65.
Review: Arthur W. Burks, Peirce's Conception of Logic as a Normative Science. [REVIEW]Ernest Nagel - 1943 - Journal of Symbolic Logic 8 (1):49-49.
Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers. [REVIEW]A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,819,493)

6 months
13 (#219,908)

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