Logic
Interpretation
Structure
Monoid
Elementary class
Function
Programming Computable Functions
Denotational semantics
Mathematics
Model theory
Mathematical logic