Model theory
Predicate logic
C programming language
Struct
Interpretation
Pointer
C++ classes
ALGOL 68
Function
Logic
Mathematical logic
Software engineering