Title: Mathematical logic in computer science
Subjects: Computer programming, Semantics, Programming languages (Electronic computers)