MA471
 Mathematical Logic
 0.5
Propositional calculus; quantifiers; consistency and
completeness; introduction to model theory, including the
compactness theorem and the L”wenheim-Skolem Theorems.  
Prerequisite: MA215 and one additional credit of 200-level
Mathematics.