An introductory text for undergraduates majoring in mathematics, computer science, and related disciplines. The primary themes are the notions of proof, recursion, induction, modeling and algorithmic thinking, developed both as subjects in themselves and as applied to combinatorics and graph theory. Assumes a course in calculus. Annotation copyrighted by Book News, Inc., Portland, OR