The Multivariate Algorithmic Revolution and Beyondde Hans L. BodlaenderMateriasMathematical Logic and Formal LanguagesComputational complexityDiscrete Mathematics in Computer ScienceAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceComputer software