Theoretical computer science
Logic
Mathematical logic
Automated theorem proving
Logic programming
Logical truth
Propositional calculus
Substitution
Nqthm
Rewrite order
Symbol