The book provides a solid introductory course for mathematics and mathematical computer science students. Designed for use in a number of courses, this book is appropriate for rigorous lower division courses, upper division courses in engineering, science, and mathematics, and beginning graduate courses. The material has been fully class-tested and includes many helpful examples and exercises. A solutions manual is also available.