Digital library
Textbooks, references and open learning resources.

External
Discrete Mathematics for Computer Science
Mark A. Fitch · University of Alaska Anchorage
In the contents: 02: Logic · 2.01: Formal Logic · 2.03: Predicate Logic
GNU FDLCombinatorics and Discrete MathematicsMathematics 0 views

External
Applied Discrete Structures
Al Doerr & Ken Levasseur · University of Massachusetts Lowell
In the contents: 1.01: Set Notation and Relations · 1.03: Cartesian Products and Power Sets · 1.05: Summation Notation and Generalizations
CC BY-NC-SACombinatorics and Discrete MathematicsMathematics 0 views