| Chapter 1. Basic Facts and Notions of Logic and Set Theory |
| 1.1 Logical Connectives |
| 1.2 Conditionals |
| 1.3 Biconditionals |
| 1.4 Quantifiers |
| 1.5 Sets |
| 1.6 Membership. Equality and Inclusion of Sets |
| 1.7 The Empty Set |
| 1.8 Union and Intersection |
| 1.9 Difference and Complement |
| 1.10 Power Set |
| 1.11 Arbitrary Unions and Intersections |
| 1.12 Ordered Pairs |
| 1.13 Cartesian Product |
| 1.14 Relations |
| 1.15 Inverse and Composition of Relations |
| 1.16 Reflexivity, Symmetry, and Transitivity |
| 1.17 Equivalence Relations |
| 1.18 Functions |
| 1.19 Functions from A into (Onto) B |
| 1.20 One-One Functions |
| 1.21 Composition of Functions |
| 1.22 Operations |
| Chapter 2. The Natural Numbers |
| 2.1 Peano Systems |
| 2.2 The Iteration Theorem |
| 2.3 Application of the Iteration Theorem: Addition |
| 2.4 The Order Relation |
| 2.5 Multiplication |
| 2.6 Exponentiation |
| 2.7 Isomorphism, Categoricity |
| 2.8 A Basic Existence Assumption |
| Supplementary Exercises |
| Suggestions for Further Reading |
| Chapter 3. The Integers |
| 3.1 Definition of the Integers |
| 3.2 Addition and Multiplication of Integers |
| 3.3 Rings and Integral Domains |
| 3.4 Ordered Integral Domains |
| 3.5 Greatest Common Divisor, Primes |
| 3.6 Integers Modulo n |
| 3.7 Characteristic of an Integral Domain |
| 3.8 Natural Numbers and Integers of an Integral Domain |
| 3.9 Subdomains, Isomorphisms, Characterizations of the Integers |
| Supplementary Exercises |
| Chapter 4. Rational Numbers and Ordered Fields |
| 4.1 Rational Numbers |
| 4.2 Fields |
| 4.3 Quotient field of an Integral Domain |
| 4.4 Ordered Fields |
| 4.5 Subfields. Rational Numbers of a Field. |
| Chapter 5. The Real Number System |
| 5.1 Inadequacy of the Rationals |
| 5.2 Archimedean Ordered Fields |
| 5.3 Least Upper Bounds and Greatest Lower Bounds |
| 5.4 The Categoricity of the Theory of Complete Ordered Fields |
| 5.5 Convergent Sequences and Cauchy Sequences |
| 5.6 Cauchy Completion. The Real Number System |
| 5.7 Elementary Topology of the Real Number System |
| 5.8 Continuous Functions |
| 5.9 Infinite Series |
| Appendix A. Equality |
| Appendix B. Finite Sums and the Sum Notation |
| Appendix C. Polynomials |
| Appendix D. Finite, Infinite, and Denumerable Sets. Cardinal Numbers |
| Appendix E. Axiomatic Set Theory and the Existence of a Peano System |
| Appendix F. Construction of the Real Numbers via Dedekind |
| Appendix G.Complex Numbers |
| Bibliography |
| Index of Special Symbols |
| Index |