Design Patterns by Tutorials (Third Edition): Learning Design Patterns in Swift

Dynamic Logic (Foundations of Computing)

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Fuzzy Logic Theory and Applications (Part I and Part II)

Digital Circuit Design for Computer Science Students: An Introductory Textbook

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

VLSI Physical Design: From Graph Partitioning to Timing Closure

Low-Power CMOS VLSI Circuit Design

Multiple-Valued Logic Design: an Introduction

The Soul of a New Machine