According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "per

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives ar

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or diffe

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text

Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.