Kohar, Richard Basic Discrete Mathematics Logic, set theory, and probability Richard Kohar - New Jersey World Scientific 2016 - xxvi, 706p. ISBN: 9813147546 Subjects--Topical Terms: Logic--symbolic and mathematicalProof theoryInductionSet theories LC Class. No.: QA9.25 / .K64 2016 c.1