Course Textbooks

Summer 2013 Offerings

No courses found

Other Course Information

Prerequisites
(Math 4547 or Math 547) or (Math 4580 or Math 580) or graduate standing or permission of department. Not open to students with credit for Math 648 or Math 649.

Description
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.

Credits
3

Semesters Offered
Autumn