Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, & the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, & Turing.