Mathematical logic
Type theory
Computability theory
Lambda calculus
Theoretical computer science
Model theory
Higher-order logic
Constructible universe
Mathematics