TY - BOOK AU - TI - Introduction to discrete mathematics via logic and proof SN - 9783030253608 AV - QA 297.4 .J66 2019 PY - 2019/// CY - Switzerland PB - springer nature ER -