Mathematical logic
Computability theory
Type theory
Theoretical computer science
Metalogic
Model theory
Lambda calculus
Constructible universe
Mathematics