Propositional calculus
Formal languages
Semigroup theory
Logic in computer science
Type theory
Mathematics
Theoretical computer science
Mathematical logic