Mathematics
Logic
Mathematical logic
Type theory
Automated theorem proving
Logic programming
Logical truth
Propositional calculus
Substitution
Symbol
Tuple