Gary Hardegree, Set Theory
Overview/Summary Basic material on set theory.
Basic Concepts
Relations
Functions
Natural Numbers
Cardinal Numbers
Rules of Derivation
Rules Rules for Derivations in homework and exams.
Collateral Material
Formal Languages 1 Collateral material on metalogic. Use/mention. Object-language/meta-language. Numbers/Numerals. Recursive definitions.
Formal Languages 2
Mathematical Induction
Appendix: Brief History of Numeration
These require Adobe Acrobat Reader.
To download, click here.