Daniel J. Velleman

A great book on mathematical proofs for someone with very limited prior knowledge.

The exercises are great, though they are plenty and can take a considerable amount of time to work through.

This book demonstrates proofs and shows the underlying logical machinery behind them. It focuses especially on the language of mathematical logic. This is a good thing since most of the symbols might as well be from an alien language. It is split into seven chapters with two appendices, a section on suggested further reading, a summary of proof techniques mentioned, and an index. The book also mentions Proof Building Software, but I did not check to see if the link still worked or not.

Not yet read--deals with logical and mathematical proofs using examples from a variety of fields.

This should be required reading for all math majors and those who want to learn how to write formal proofs. It is well written with lots of examples.