Logic
4 points * Second semester * Clayton * Prerequisites: MAT2020 or MAP2032 or MAT1130
Propositional and predicate logic. Completeness. Löwenheim-Skolem and compactness theorems with mathematical applications such as non-standard models of arithmetic.
Assessment
Examinations (1.5 hours): 73% * Assignments: 27%