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
-
Jan Łukasiewicz, Aristotle’s Syllogistic from the standpoint of Modern Formal Logic. Oxford, 1951, p. 78.
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.
For a description of computer components see Engineering Research Associates, High Speed Computing Devices. New York, 1950.
Retrieve articles in Mathematics of Computation with MSC: 65.0X
Retrieve articles in all journals with MSC: 65.0X
Additional Information
Article copyright:
© Copyright 1954
American Mathematical Society