Logic Theory
Model Theory
This book offers an introductory course in model theory emphasizing connections to algebra.
Theory in an Uneven World
How can we handle the unevenness between the West and the Rest? How inevitable is the binary logic of winners and losers? How can theory help us resolve our ethical and political problems?
Logic of Liberal Rights
This book integrates themes in legal theory, political science and moral philosophy, as well as the philosophy of logic and language, including free speech, religious freedom, privacy, torture, unlawful detention and private property.
Logic Synthesis and Verification Algorithms
This book is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory.
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilb
Asynchronous Pulse Logic
This is is a comprehensive analysis of an asynchronous circuit family. The book covers circuit theory, practical circuits, design tools and an example of the design of a simple asynchronous microprocessor using the circuit family.