Logic
Mathematical logic
Mathematics
Automated theorem proving
Logic programming
Model theory
Formal languages
Type theory
Unification
Structure
Substitution
Symbol