Relational and Algebraic Methods in Computer Sciencede Wolfram KahlMateriasMathematical Logic and Formal LanguagesComputational complexityDiscrete Mathematics in Computer ScienceSoftware engineeringAlgebraSymbolic and Algebraic Manipulation