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.
For more information on instructors and sections for Fall 2017, please see our Fall 2017 Teaching Schedule Page
For more information on instructors and sections for this course for other semesters, please see our Teaching Schedule Page