Bulletin Year: 2022 - 2023 Undergraduate Bulletin | 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.