This is the first term of an introductory graduate course in mathematical logic. Topics are completeness of propositional logic and quantification theory and elementary set theory.
Prerequisites: none
Recitations: none
Expected class size:
Frequency:
Credits: 3