Title: Computation, Physics and Beyond
Subjects: Mathematical Logic and Formal Languages, Information theory, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Theory of Computation, Mathematics of Computing, Computer software