Home›Books›Predicate calculus and program semanticsPredicate calculus and program semanticsby Edsger Wybe DijkstraNo description available.Predicate calculusProgramming languages (Electronic computers)Semantics