Introduction to discrete mathematics via logic and proof - Jonsgsma Calvin (Switzerland springer nature, 2019)