Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras, defines operators for elimination, division, and expansion, covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.