How to prove it : a structured approach / Daniel J. Velleman (Department of Mathematics and Statistics Amherst College, Department of Mathematics and Statistics, University of Vermont). Cambridge : Cambridge University Press, 2019 ; © 2019