Formal logic and switching circuits
Theodore A. Kalin · 1952
The historical development of the application of symbolic logic to calculating machinery is traced to the present, and a brief sketch of some modern developments is presented. Correspondences among the several logical notations now in use are presented and discussed, with emphasis on "THE SYNTHESIS OF ELECTRONIC COMPUTING AND CONTROL CIRCUITS", by the Staff of the Computation Laboratory of Harvard University.