Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 

 

An analysis of a logical machine using parenthesis-free notation


Authors: Arthur W. Burks, Don W. Warren and Jesse B. Wright
Journal: Math. Comp. 8 (1954), 53-57
MSC: Primary 65.0X
DOI: https://doi.org/10.1090/S0025-5718-1954-0061484-4
MathSciNet review: 0061484
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] Jan Łukasiewicz, Aristotle's Syllogistic from the standpoint of Modern Formal Logic. Oxford, 1951, p. 78.
  • [2] In this section we employ the results of Stanisław Jaśkowski, Karl Menger, Karl Schröter, and D. C. Gerneth. See Paul Rosenbloom, The Elements of Mathematical Logic. New York, 1950, ch. 4, sec. 1, for a discussion and further references.
  • [4] For a description of computer components see Engineering Research Associates, High Speed Computing Devices. New York, 1950.

Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 65.0X

Retrieve articles in all journals with MSC: 65.0X


Additional Information

DOI: https://doi.org/10.1090/S0025-5718-1954-0061484-4
Article copyright: © Copyright 1954 American Mathematical Society