Discrete Mathematics using a Comptuter (O’Donnell, Hall, Page) Chapter 6, 7
Discrete Mathematics with Applications - Metric Edition (Epp) Chapter 2, 3
The Haskell Road to Logic, Math and Programming (Doets, van Eijck) Chapter 2, 3
https://www.cs.carleton.edu/faculty/dln/book/ch03_logic_2021_September_08.pdf
https://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf Chapter 2
https://runestone.academy/ns/books/published/dmoi-4/ch_logic.html
https://runestone.academy/ns/books/published/dmoi-4/sec_logic-statements.html
https://runestone.academy/ns/books/published/dmoi-4/sec_logic-implications.html
https://runestone.academy/ns/books/published/dmoi-4/sec_logic-rules.html
https://runestone.academy/ns/books/published/ads/chapter3.html
https://runestone.academy/ns/books/published/ads/s-propositions-logic-operators.html
https://runestone.academy/ns/books/published/ads/s-truth-tables.html
https://runestone.academy/ns/books/published/ads/s-equivalence-implication.html
https://runestone.academy/ns/books/published/ads/s-logic-laws.html
https://runestone.academy/ns/books/published/ads/s-math-systems.html
https://runestone.academy/ns/books/published/ads/s-propositions-over-universe.html
https://runestone.academy/ns/books/published/ads/s-induction.html
https://runestone.academy/ns/books/published/ads/s-quantifiers.html
https://runestone.academy/ns/books/published/ads/s-proof-review.html
https://runestone.academy/ns/books/published/ads/chapter_13.html
https://runestone.academy/ns/books/published/ads/s-posets-revisited.html
https://runestone.academy/ns/books/published/ads/s-lattices.html
https://runestone.academy/ns/books/published/ads/s-boolean-algebras.html
https://runestone.academy/ns/books/published/ads/s-atoms-of-a-boolean-algebra.html
https://runestone.academy/ns/books/published/ads/s-finite-boolean-algebras-ntuples.html
https://runestone.academy/ns/books/published/ads/s-boolean-expressions.html
https://runestone.academy/ns/books/published/ads/s-logic-design.html
https://runestone.academy/ns/books/published/DiscreteMathText/chapter2.html
https://runestone.academy/ns/books/published/DiscreteMathText/logical_form2-1.html
https://runestone.academy/ns/books/published/DiscreteMathText/conditional2-2.html
https://runestone.academy/ns/books/published/DiscreteMathText/arguments2-3.html
https://runestone.academy/ns/books/published/DiscreteMathText/chapter3.html
https://runestone.academy/ns/books/published/DiscreteMathText/quantifiersI3-1.html
https://runestone.academy/ns/books/published/DiscreteMathText/negquant3-2.html
https://runestone.academy/ns/books/published/DiscreteMathText/multiplequant3-3.html
https://runestone.academy/ns/books/published/DiscreteMathText/argumentsquant3-4.html
https://en.wikipedia.org/wiki/Mathematical_logic
Code-DMUC/Stdm06LogicOperators.hs
Code-DMUC/Stdm06PropositionalLogic.hs
Code-DMUC/Stdm07PredicateLogic.hs