Notes for Elementary Symbolic Logic
ch. 6	Chapter 7. Generalizations—Section 8. Finite & infinite structures	ch. 8
7.7	Overview 7.8.1 7.8.2 Smmry Ex Ans