Overview/Summary Basic material on set theory.
Basic Concepts
Natural Numbers
Cardinal Numbers
Rules Rules for Derivations in homework and exams.
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.