Mathematical Logic - NMU Bulletin

MA 481 Mathematical Logic 3 cr.

• Offered: Winter 2007; every third winter thereafter
• Prerequisites: Junior standing and instructor's permission.
• Bulletin Year: 2007 - 2008 Undergraduate Bulletin | View the current NMU Catalog.

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.