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
Herbert B. Enderton; A Mathematical Introduction to Logic (second edition); Academic Press, 2001 (352 pp.); (ISBN: 0-12-238452-0; ISBN13: 978-0-12-238452-3)
Variable: Spring 2007
This course is taught each Spring semester.
Sections Taught This Semester: