Prerequisite: Consent of the Instructor
Survey of proof theory and model theory of first-order predicate calculus, naturaldeduction, Herbrand’s procedure, resolution methods, induction principles, rewriterules, theorem-provers for algebraic systems.