Metalogic
Institution
Common Algebraic Specification Language
Parity of a permutation
Structure
Specification language
Theory
Model theory
Mathematics
Logic