Title: Predicate calculus and program semantics
Subjects: Predicate calculus, Programming languages (Electronic computers), Semantics