Introduction to Mathematical Logic

1 Course Unit

A graduate-level introduction to first-order logic including the completeness, compactness, and Lowenheim-Skolem theorems, and Godel's incompleteness theorems. Spring 1 Course Unit