Basic discrete mathematics logic,set heory,and probability - Kohar, Richard (New Jersey World Scientific Publishing Company, 2016)
Keywords: Induction (Mathematics); Logic, Symbolic and mathematical; Probabilities; Proof theory; Set theory