Fundamentals of Discrete Math for Computer Science - Jenkyns, Tom A.; Stephenson, Ben; Stephenson, Benjamin David (Dordrecht Springer London, 2013)