A Spiral Workbook for Discrete Mathematics covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the th

''In writing this book, care was taken to use language and examples that gradually wean students from a simpleminded mechanical approach and move them toward ma

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In