Draganov, Alexandr Taking the "oof!" out of proofs Boca Raton, FL : CRC Press, 2024. xvii, 278 p. -- (Textbooks in mathematics) QA9.54 D73