Notes for Elementary Symbolic Logic
ch. 6
Chapter 7. Generalizations—Section 7. Soundness & completeness
ch. 8
7.6
Overview
7.7.1
7.7.2
7.7.3
7.7.4
Smmry
Ex
Ans
7.8