Mathematical structures
Model theory
Formal languages
Algebraic structures
Metalogic
Structure
Rewriting
Maude system
Unification
Mathematical logic
Mathematics
Logic