Proof theory
Automated theorem proving
Rules of inference
Resolution
Unification
Sequent calculus
Function
Admissible rule
Cut-elimination theorem
Mathematical logic
Logic
Mathematics