MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...
Book 1. Basic computer logic.--Book 2. Logical circuit elements.--Book 3. Designing circuits to carry out logical functions.--Book 4. Flipflops and registers ...