A Companion to philosophical logic

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

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

Contemporary logic design od 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 od Hurley, Patrick J.

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

Digital fundamentals od Floyd, Thomas L.

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

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