Title: Logic, Language, Information and Computation
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Algebra, Symbolic and Algebraic Manipulation, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Data processing, Computer software, Logic, symbolic and mathematical