Computability theory
Lambda calculus
Theoretical computer science
Universal quantification
First-order logic
Hoare logic
Mathematical logic
Logic
Mathematics