Table of Contents:

• 1. Basic Logic

• 2. Methods of Proof

• 3. Set Theory

• 4. Relations and Functions

• 5. Number Systems

• 6. More on the Real Number System

• 7. Elementary Number Theory

• 8. Zero-Knowledge Proofs

• 9. Examples of an Axiomatic Theories

• Appendix: Axiomatics

  　本書其它內容…