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