All Subjects
Light
5.1
Inference Rules for Quantifiers
5.2
Proof Strategies in First-Order Logic
5.3
Equality and Substitution
5.4
Soundness and Completeness in First-Order Logic