Title: Horizons of the Mind. A Tribute to Prakash Panangaden
Subjects: Logic, symbolic and mathematical, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Probability and Statistics in Computer Science, Computation by Abstract Devices