000 00537nam a22001817a 4500
999 _c18408
_d18408
008 200804b xxu||||| |||| 00| 0 eng d
020 _a9813147546
050 _aQA9.25
_b.K64 2016 c.1
100 _aKohar, Richard
245 _aBasic Discrete Mathematics
_bLogic, set theory, and probability
_cRichard Kohar
260 _aNew Jersey
_bWorld Scientific
_c2016
300 _axxvi, 706p.
650 _aLogic
_vsymbolic and mathematical
650 _aProof theory
650 _aInduction
650 _aSet theories
942 _2lcc
_cBK