Handbook of Philosophical Logic

Logic Circuit Design Selected Methods

Elementary Logic For Software Development

Temporal Logic and State Systems

Logic Synthesis for FSM-Based Control Units

Logic Functions and Equations Examples and Exercises

Logic Synthesis for Compositional Microprogram Control Units

Logic Functions and Equations Binary Models for Computer Science

Introduction to Logic Circuits & Logic Design with Verilog

Introduction to Logic Circuits & Logic Design with VHDL

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II