Course Information
Designation: Elective Course
Course Level: Graduate
Prerequisites
Prerequisite(s) by Topic:
Prerequisite: Consent of the Instructor
Catalog Description:
Survey of proof theory and model theory of first-order predicate calculus, natural deduction, Herbrand’s procedure, resolution methods, induction principles, rewrite rules, theorem-provers for algebraic systems.