Discrete mathematics for computer science : an example-based introduction /: an example-based introduction. (2020)