Introduction to Mathematical Proofs - e-kirja, Englanti, 2019