Introduction to Discrete Mathematics via Logic and Proof - Calvin Jongsma (Springer, 2019)