Logic
Denotational semantics
Admissible rule
Orbifold
Μ operator
Mathematical logic
Theoretical computer science
Symbol