Logic
Computability theory
Mathematical logic
Theoretical computer science
Symbol
Substitution
Lambda calculus
Natural deduction