Mth 440 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.