Basic discrete mathematics : logic, set theory, & probability /
Kohar, Richardauthor.
Includes bibliographical references (pages 689-697) and index.
Logic, Symbolic and mathematical.
Proof theory.
Induction (Mathematics)
Set theory.
Probabilities.