Fundamentals of discrete math for computer science. - Jenkyns, Tom (Springer, 2018)