Notes for Elementary Symbolic Logic
ch. 8
Appendix A. Reference
Overview
A.1
A.2
A.3
A.4
app. B