Intended to bridge the gap between the standard calculus sequence and more abstract upper-division mathematics courses, this successful text provides a firm foundation in sets, logic, and mathematical proof methods. The Second Edition includes a smoother transition from the concepts of logic to actual use of these concepts in proving theorems; additional applications; several essays about prominent mathematicians and their work; and the addition of exercises for student writing.