Mth 540 Boolean Algebra
Axiomatic treatment of Boolean algebras, finite Boolean algebras, representation theorems. Introduction to partially ordered sets and lattices. Transfinite induction, Zorn's lemma. Applications to logic and switching circuits.