Title: Predicate Calculus and Program Semantics
Subjects: Logic design, Computer science, Programming languages (electronic computers)