1
2
Analysis of algorithms and problem complexity
Computation by abstract devices
Logics and meanings of programs
Mathematical logic and formal languages
Theory and mathematics general