Home›Books›Predicate Calculus and Program SemanticsPredicate Calculus and Program Semanticsby Edsger Wybe DijkstraNo description available.Logic designComputer scienceProgramming languages (electronic computers)