Fundamentals of Discrete Math for Computer Science - Tom Jenkyns, Ben Stephenson (Springer, 2018)