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