Claude E. Shannon and Edward F. Moore. Machine aid for switching circuit design. Proceedings of the I.R.E. , vol. 41 (1953), pp. 1348–1351.

Somewhat misleadingly, in the reviewer's opinion, the truth-table machines are spoken of as designed "to solve problems of Boolean algebra and formal logic." This is not false, but it's as if, e.g., one should describe an office adding machine as a machine to solve problems of number theory. I t would be better to speak, in connection with the McCallum-Smith and similar machines, not of "logical problems," but of elementary problems of propositional calculus. ALONZO CHURCH