Bulletin Year: Fall 2009 - Summer 2011 Graduate 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, incompleteness and undecidability. Included are Godel’s theorems, recursive function theory, model theory and applications.