Mathematical logic
Logic
Mathematics
Predicate logic
Formal methods
Semantics
Edsger W. Dijkstra
Predicate transformer semantics
First-order logic
FO
Quantifier
Equality