Automated theorem proving
Logic
Logic programming
Mathematical logic
Theoretical computer science
Logical truth
Propositional calculus
Substitution
Resolution