Logic, Language, Information and Computationde Luke OngMateriasMathematical Logic and Formal LanguagesComputational complexityDiscrete Mathematics in Computer ScienceAlgebraSymbolic and Algebraic ManipulationAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract Devices