Formal methods
Computability theory
Lambda calculus
Theoretical computer science
Function
Mereology
Modal logic
Mathematical logic
Mathematics
Logic