Calvin Jongsma Introduction to Discrete Mathematics via Logic and Proof - Springer Springer 2019 ISBN: 9783030253585 Source: EBOOK