What are some good introductory books on mathematical proofs?

There was a time when I avoided math proofs, but now I am starting to enjoy them. I am taking Intro to Linear Algebra and am falling in love with proofs. Are there any introduction to mathematical proofs books that blow the others out of the water?

• If you want a historical view of great theorems (and their proofs), you should check out Journey Through Genius. I love that book. It's honestly what made me fall in love with mathematics, especially the two chapters on set theory and Cantor's proofs and arguments. I read the whole book my senior year in high school; most of it was fairly accessible but I struggled a little with the diagonalization argument by Cantor. I think it took me four or five read throughs before I began understanding it. – Cameron Williams Jan 29 '14 at 3:20
• I thoroughly recommend George Polya, How to Solve It. A great collection of ideas for thinking about problems. Just don't fall into the trap (as I did when I was very young) of imagining that it's a complete solution manual for everything ;-) – David Jan 29 '14 at 3:24
• I don't know about "blowing other books out of the water", but one I'm looking at just now is the recent Charming Proofs: A Journey Into Elegant Mathematics, by Alsina and Nelsen. There is also Nelsen's Proofs without Words , which is good for emphasizing ways to think about the relationships described in a proposition, which is important in developing the "imaginative" part of mathematical reasoning. (Obviously, you couldn't just turn in a diagram as a proof...) Does anyone know how Aigner and Zeigler's Proofs from THE BOOK is? (Google 'Erdos' if you don't know what "The Book" is.) – colormegone Jan 29 '14 at 3:45
• @RecklessReckoner For a second I thought you were keeping the title of that book a secret. I skimmed through it and it looks amazing! I will start reading it ASAP! Thanks! – zerosofthezeta Jan 29 '14 at 4:36
• Do you mean "The Book"? No, it's not like Smullyan's What Is The Name of This Book? ... – colormegone Jan 29 '14 at 4:39

However, if you want a book that is geared specifically for those who are just starting out with rigorous math and are still getting used to proofs, you might enjoy Journey into Mathematics: An Introduction to Proofs by Joseph Rotman. Unlike some such books, it doesn't dwell on trivialities about logic and sets. Instead, it discusses interesting yet accessible topics in elementary mathematics like Pythagorean triples, the number $\pi$, and cubic and quartic equations. Along the way, it introduces important concepts such as proof by induction, the formal definition of convergence of a sequence, and complex numbers. The book makes use of calculus, taking advantage of the fact that most North American students at this "transition to advanced mathematics" stage have already had courses in calculus. But what you will remember after reading it ought to be the actual mathematics in it, so you hopefully won't feel as if you've wasted your time.