Foundation mathematics for computer science : a visual approach /: a visual approach. (2015)