Notes for Elementary Symbolic Logic
ch. 7
Chapter 8. Numerations—Section 5. Proofs by choice and proofs of existence
appendices
8.4
Overview
8.5.1
8.5.2
8.5.3
Smmry
Ex
Ans
8.6