Proofs and Fundamentals by Ethan D. Bloch