Textbook Book of Proof (2nd edition), by Richard Hammack. You can download the text for free from the author’s webpage.
