TY - BOOK AU - Kohar, Richard TI - Basic discrete mathematics: logic, set theory, & probability SN - 9789813147546 : U1 - 511.1 PY - 2016/// CY - New Jersey PB - World Scientific KW - Logic, Symbolic and mathematical KW - Proof theory KW - Induction (Mathematics) KW - Set theory KW - Probabilities N1 - Includes bibliographical references (pages 689-697) and index ER -