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