A Companion to philosophical logic

A concise introduction to pure mathematics by Liebeck, Martin 1954-

The calculus formally known as pi. by Kelly-Bootle, Stan

Contemporary logic design by Katz, Randy H. 1955-

Fuzzy logic and the semantic web

Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access

A concise introduction to logic by Hurley, Patrick J.

Thinking about acting logical foundations for rational decision making by Pollock, John L.

Digital fundamentals by Floyd, Thomas L.

Synthesis of arithmetic circuits FPGA, ASIC, and embedded systems by Deschamps, Jean-Pierre 1945-

Advanced digital logic design using Verilog, state machines, and synthesis for FPGAs by Lee, Sunggu