Logic
Mathematical logic
Linguistics
Predicate logic
Knowledge representation
Tree
FO
Predicate transformer semantics
Substitution
B-tree
Symbol
Control