Foundations of Mathematics

• You need Acrobat Reader to read some of the documents in this page. You can get Acrobat Reader for free here.
• This is the syllabus.
• These are introductory notes.
• This is a handy sheet of useful fact that allow one to manipulate formulas syntactically.
• Worksheet 1
• Worksheet 2 (Hints/Solutions)
• Worksheet 3
• Worksheet 4
• Midterm
• Final
• Model Theory handout