Theoretical Computer Sciencede J. C. M. BaetenMateriasMathematical Logic and Formal LanguagesComputational complexityDiscrete Mathematics in Computer ScienceInformation theoryAlgorithm Analysis and Problem ComplexityComputation by Abstract DevicesComputer scienceTheory of ComputationMathematics of Computing