Contents

 
• Sentences and Formulas
  • Logic before the year 1900
  • Sentences and Formulas
    • Truth functions
  • Equality
  • Real and Complex Numbers
  • Many Sorted and Higher Order Logic
• Some Case Studies
  • A theorem of number theory
  • The induction axiom
• References
• Index
• About this document ...