Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

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



Computing logical truth with the California Digital Computer

Author: Wilton R. Abbott
Journal: Math. Comp. 5 (1951), 120-128
MSC: Primary 65.0X
MathSciNet review: 0049668
Full-text PDF Free Access

References | Similar Articles | Additional Information

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

    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

Similar Articles

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