CMSC 31500
Mathematical Logic IPrerequisites: Math 254
Catalog Description: This course provides an introduction to mathematical logic. Topics include propositional and predicate logic, natural deduction systems, models, and the syntactic notion of proof versus the semantic notion of truth, including soundness and completeness. The incompleteness theorems are also covered.
Instructors: StaffQuarter offered: This course is offered alternate years. Winter
Unverified as of 24 November, 2009.