Introduction to discrete mathematics via logic and proof - Jongsma, Calvin 1947- (Springer, 2019)