Title: Mathematical Foundations of Computer Science 1989
Subjects: Mathematical Logic and Formal Languages, Computer Science, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Combinatorial analysis, Computer software, Computer science, mathematics