General Information (Catalog listing)
Intuitive and formal development of the sentential and predicate calculus. Special emphasis given to questions of consistency, completeness, and independence. Formal systems; incompleteness and undecidability; theorems of Gödel. Exploration of which properties of structures can be defined in the first-order language.
Prerequisite: CALC3 and either 01:640:300 or permission of department
Textbook: For current textbook please refer to our Master Textbook List page
Variable: Spring 2007
This course is taught each Spring semester.