You are here

How to Prove It: A Structured Approach

Edition: 
2
Publisher: 
Cambridge University Press
Number of Pages: 
384
Price: 
29.99
ISBN: 
0521675995

Here are the reasons I’m not using this book in my course on how to do proofs in the Fall semester of this year:

  1. I’ve already ordered another book and can’t begin to imagine what trouble changing horses even at the edge of the stream would cause for our book-store (and, more importantly, for our students);
  2. the book is, if anything, too good: it does exactly what I do in the indicated course but is so thorough and so expansive that I’d want to spend a whole year on the syllabus, not just a semester.

Perhaps, as time goes by, and it’s again my turn to teach this course on “baby proofs,” I’ll just give in and do the sensible thing and opt for Velleman’s How To Prove It. (Even its title evinces good taste: how many of us don’t have fond memories of Polya’s classic by a similar name?).

Some details, then: Velleman’s book is divided into seven chapters (Sentential Logic, Quantificational Logic, Proofs, Relations, Functions, Mathematical Induction, and Infinite Sets), covering over 300 pages. The prose is clear and cogent (and even suited to self-study for the rare lone wolf), the exercises are plentiful and are pitched at the right level (and many of them have solutions in the back of the book), and the paperback version of the book comes in at a penny shy of $30.00 Incredible!

I recommend this book very highly!


Michael Berg is Professor of Mathematics at Loyola Marymount University in California.

Date Received: 
Saturday, April 8, 2006
Reviewable: 
Yes
Include In BLL Rating: 
No
Daniel J. Velleman
Publication Date: 
2006
Format: 
Paperback
Audience: 
Category: 
Textbook
Michael Berg
07/19/2006

 1. Sentential logic: 2. Quantificational logic; 3. Proofs; 4. Relations; 5. Functions; 6. Mathematical induction 7. Infinite sets.

Publish Book: 
Modify Date: 
Wednesday, July 19, 2006

Dummy View - NOT TO BE DELETED