Foundation mathematics for computer science: a visual approach - Vince, J. (Hereford Springer, 2015)