Title: Mathematical Foundations of Computer Science 1993
Subjects: Mathematical Logic and Formal Languages, Computer science, Algorithm Analysis and Problem Complexity, Logic design, Data Structures, Logics and Meanings of Programs, Computation by Abstract Devices, Data structures (Computer science), Computer software, Combinatorial analysis, Mathematics, Congresses, Computer science, mathematics