Bulletin Year: 2015 - 2016 Undergraduate Bulletin | View the current NMU Catalog. | View this course in the current bulletin.
MA 481 Mathematical Logic 3 cr. The propositional and predicate calculi, syntax and semantics, consistency and completeness and undecidability. Included are Goedel’s theorems, recursive function theory, model theory and applications.