The text begins with an informal introduction to the algebra of classes, exploring union, intersection, and complementation; the commutative, associative, and distributive laws; difference and symmetric difference; and Venn diagrams. Professor Goodstein proceeds to a detailed examination of three different axiomatizations, and an outline of a fourth system of axioms appears in the examples. The final chapter, on lattices, examines Boolean algebra in the setting of the theory of partial order. Numerous examples appear at the end of each chapter, with full solutions at the end.
The text begins with an informal introduction to the algebra of classes, exploring union, intersection, and complementation; the commutative, associative, and distributive laws; difference and symmetric difference; and Venn diagrams. Professor Goodstein proceeds to a detailed examination of three different axiomatizations, and an outline of a fourth system of axioms appears in the examples. The final chapter, on lattices, examines Boolean algebra in the setting of the theory of partial order. Numerous examples appear at the end of each chapter, with full solutions at the end.
Paperback
$11.95