A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.

George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations

A unique guide to using both modeling and simulation in digital systems design Digital systems design requires rigorous modeling and simulation analysis that el

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti