I am teaching the proof-writing class (for the 3rd time) in the Fall and plan to buck the party line and use a different text than the default Bond and Keane. My parameters are as follows:

1. Logic, Sets, Equivalence Relations and Induction should be covered.
2. Price should be reasonable (say around $30 or less).
3. Distractions like "historical comments" and "mathematical perspectives" should be kept to a minimum.

I plan to supplement such a book with "What is Mathematics" by Courant and Robbins.

I would be pleased to hear some recommendations!