This book takes students by the hand to an understanding of the theory and applications of functions, relations, cardinal and ordinal numbers, partially and totally ordered sets, the logic and boolean algebra required by all computer science students, and more. It includes new sections on turing machines and computable functions. The hundreds of problems with detailed solutions, and hundreds more with answers to check comprehension and progress, permit mastery of this fundamental of mathematics--set theory.