Logic
Mathematics
Mathematical logic
Formal languages
Grammar frameworks
Symbol
Substitution
Indexed grammar
Table of stars with Bayer designations