Computation, Physics and Beyondde Michael J. DinneenMateriasMathematical Logic and Formal LanguagesInformation theoryAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceTheory of ComputationMathematics of Computing
DDiscrete Mathematics and Theoretical Computer ScienceDiscrete Mathematics and Theoretical Computer Science