3 books
Computers: from Logic to Architecture
Computers
A First Course in Formal Logic and Its Applications in Computer Science