Calvin Jongsma Introduction to Discrete Mathematics via Logic and Proof - 1st ed. 2019 - Springer International Publishing 2019 - Undergraduate Texts in Mathematics . ISBN: 978-3-030-25358-5 ISSN: 2197-5604