The Logic Design of Transistor Digital Computers