Computing logical truth with the California Digital Computer
HTML articles powered by AMS MathViewer
- by Wilton R. Abbott PDF
- Math. Comp. 5 (1951), 120-128 Request permission
References
-
Edmund C. Berkeley, Giant Brains, New York, 1949, Ch. 9.
- George W. Patterson, Logical syntax and transformation rules, Proceedings of a Second Symposium on Large-Scale Digital Calculating Machinery, 1949, Harvard University Press, Cambridge, Mass., 1951, pp. 125–133. MR 0043740
Additional Information
- © Copyright 1951 American Mathematical Society
- Journal: Math. Comp. 5 (1951), 120-128
- MSC: Primary 65.0X
- DOI: https://doi.org/10.1090/S0025-5718-1951-0049668-X
- MathSciNet review: 0049668