Contents vii
§9.4. Computable Model Theory 174
§9.5. Reverse Mathematics 177
Appendix A. Mathematical Asides 189
§A.1. The Greek Alphabet 189
§A.2. Summations 190
§A.3. Cantor’s Cardinality Proofs 190
Bibliography 193
Index 199
Previous Page Next Page