Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

PLC Programming for Beginners: Learn Ladder Logic, HMI, and SCADA with Practical

Essential Logic for Computer Science (MIT Press The) by Page, Rex [Hardback]

Language System and its Change: On Theory and Testability Trends in Linguistics.

Computation As Logic (Prentice Hall International Series in Computer Science), L

High-Performance System Design: Circuits and Logic; IEEE Press Series on Microel

Essential Logic for Computer Science The MIT Press by Rex Page HARDBACK

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Compute