Boolean Logic
Digital Principles and Logic Design
This text/reference provides students and practicing engineers with an introduction to the classical methods of designing electrical circuits, but incorporates modern logic design techniques used in the latest microprocessors, microcontrollers, microcomputers, and various LSI com
Mathematics of Logic
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic.
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.
CASIO FX-115MSPLUS 279 Built-in Functions Solar Powered Scientif
A calculator that can do it all for a low price? Yes! The FX-115MSPlus is packed with functions for everyone, and it is solar powered!
Logically Determined Design
This seminal book presents a new logically determined design methodology for designing clockless circuit systems. The book presents the foundations, architectures and methodologies to implement such systems.