Boolean Sales

Decision Points: Boolean Logic for Computer Users and Beginning Online Searchers List Price: $30.00 Sale Price: $19.42

Along with a simplified explanation of Boolean logic and how it is used for online searching, this guide offers reproducible worksheets that lead students through powerful strategic techniques for decision-making and researching.

Boolean Reasoning: The Logic of Boolean Equations List Price: $16.95 Sale Price: $10.00 Average Rating:

"The author writes very well ... provid[ing] a solid foundational (graduate-level) text for mathematicians, engineers, and logicians ... the author does a good job of drawing examples from the field of logic designed to illustrate useful applications of theory."--Randal E. Bryant, Carnegie Mellon University A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. The book begins with an overview of elementary mathematical concepts and outlines the theory of Boolean algebras, based on Huntington's postulate. It defines operators for elimination, division, and expansion, providing a systematic basis for subsequent discussions of syllogistic reasoning, the solution of Boolean equations, and functional deduction. Two concluding chapters deal with applications; one applies Boolean reasoning to diagnostic problems, and the other discusses the design of multiple-output logic-circuits. 1990 edition. 18 figures. 19 tables.

Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets (IEEE Press Understanding Science & Technology Series) List Price: $69.99 Sale Price: $42.41 Average Rating:

This book explains, in lay terms, the surprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in its style and often funny, it follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery. ONES AND ZEROS will be enjoyed by anyone who has a general interest in science and technology.

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides) List Price: $200.00 Sale Price: $156.00

This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century-the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters and a new appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory.

Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic) List Price: $236.00 Sale Price: $199.45

This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka, Novosibirsk, 1989), the text presents new results as well as a selection of open questions on Boolean algebras. Other current features include discussions of the Kottonen algebras in enrichments by ideals and automorphisms, and the properties of the automorphism groups.

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing) List Price: $231.00 Sale Price: $194.95

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems. Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material. Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.