Title: Mathematics of Program Construction
Subjects: Mathematical Logic and Formal Languages, Logic design, Computational complexity, Discrete Mathematics in Computer Science, Software engineering, Math Applications in Computer Science, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters