Download Book of Proof by Richard Hammack free as a PDF — the standard first proof-writing textbook for BS Math and BSCS students, covering sets, logic, direct/contrapositive/contradiction proofs, induction, relations, functions and cardinality.
Free Contemporary Mathematics PDF by OpenStax — sets, logic, probability, statistics, money math, geometry, voting and graph theory for a gen-ed Quantitative Reasoning course.
Read Foundations of Computer Science (C Edition) by Alfred V. Aho and Jeffrey D. Ullman free online — the classic discrete math and data structures text covering induction, trees, graphs, automata, and logic.
Free MIT OCW textbook covering proofs, discrete structures, counting, probability, and recurrences for computer science, by Lehman, Leighton, and Meyer.
Students taking Discrete Structures can download the complete textbook “Discrete Mathematics: An Open Introduction” by Oscar Levin, free as a …