Computing logical truth with the California Digital Computer
Author:
Wilton R. Abbott
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
Full-text PDF Free Access
References | Similar Articles | Additional Information
-
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
Retrieve articles in Mathematics of Computation with MSC: 65.0X
Retrieve articles in all journals with MSC: 65.0X
Additional Information
Article copyright:
© Copyright 1951
American Mathematical Society