Introduction to Mathematical Logic

MATH 5051: Introduction to Mathematical Logic

Syntax and semantics of sentential logic, syntax and semantics of first-order logic, compactness of first-order logic, Goedel's completeness theorem, theories and models of theories, Goedel's incompleteness theorems; computability.
Prereq: 4547 (547), 4580 (580), Grad standing, or permission of department. Not open to students with credit for 648 or 649.
Credit Hours


Title: No text required.

Semester(s) Offered: