Bulletin Year: Fall 2007 - Summer 2009 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.