TY - RPRT TI - Discrete Math with Programming: A Principled Approach AU - Yanhong A. Liu AU - Matthew Castelllana PY - 2020 DO - 10.1145/3408877.3432537 UR - https://arxiv.org/abs/2011.14059 ID - 2011.14059 ER -