Vector Logic Computing

Logic & Computer Design Fundamentals

Computability and Logic Fifth Edition

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

The Logic of Architecture: Design, Computation, and Cognition