Discrete Mathematics-Symbolic Logic & Proof(2018)