This outstanding text is written in clear language and enhanced with many exercises, diagrams, and proofs. It discusses historical developments and future direc

In the first half of the nineteenth century, George Boole's attempt to formalize propositional logic led to the concept of Boolean algebras. While investigating

This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice Theory, First Edition, in 1978, and the Second Edition twenty years la

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the the