|
May 15, 2024
|
|
|
|
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]
|
MATH 470 - Mathematical Logic 3 Credit(s) | Lecture | Course can be counted for credit once
Description: Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.
Enrollment Requirements: Prerequisite: MATH 320 or MATH 360
021804:1
|
|