TY  - BOOK
AU  - Kohar, Richard
TI  - Basic Discrete Mathematics : Logic, set theory, and probability
SN  - 9813147546
AV  - QA9.25  .K64 2016 c.1
PY  - 2016///
CY  - New Jersey
PB  - World Scientific
KW  - Logic
KW  - symbolic and mathematical
KW  - Proof theory
KW  - Induction
KW  - Set theories
ER  -