"How to write proofs" by Eugenia Cheng