Mathematical Logic
The five logical connectives, tautologies, contradictions, quantifiers, and the distinction between inductive and deductive reasoning. Proof techniques most introductory books skip.
- Truth tables & connectives
- Quantifiers & predicates
- Proof techniques