Logic: The Bridge to Higher Math

Richard Mansfield
melvin@math.psu.edu

``When I use a word,'' Humpty Dumpty said, in a rather scornful tone, ``it means just what I choose it to mean--neither more nor less.''
--Lewis Carroll, Through the Looking Glass

 
• 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 ...