An analysis of a logical machine using parenthesis-free notation
HTML articles powered by AMS MathViewer
- by Arthur W. Burks, Don W. Warren and Jesse B. Wright PDF
- Math. Comp. 8 (1954), 53-57 Request permission
References
-
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.
Additional Information
- © Copyright 1954 American Mathematical Society
- 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