Course Description


MA 481 Mathematical Logic
3 cr.
Offered: Winter 2007; every third winter thereafter
Prerequisite: Junior standing and instructor's permission.
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.