Data types
Type theory
Mathematical logic
Predicate
Predicate logic
Propositional calculus
Postcondition
Formal methods
Type system
Computing
Logic
Software engineering