Reading, Writing, and Proving. 2nd ed. - Daepp, Ulrich (Springer New York, 2020)