Not a book, but it's free. May I humbly suggest my DC Proof software. Using a very user-friendly proof-checker, students can work through a ten-part tutorial that introduces various methods of proof. For more information, free download, testimonials, etc. visit my website at http://www.dcproof.com