Title: Introduction To The Theory Of Programming Languages
Subjects: Logic design, Information theory, Computer science, Semantics, Programming languages (Electronic computers), Programming languages (electronic computers), Logics and Meanings of Programs, Theory of Computation