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.​