PREDICATE CALCULUS AND PROGRAM SEMANTICS (MONOGRAPHS IN By Edsger W. Dijkstra

Predicate Calculus and Program Semantics (Monographs in Computer Science) Dijkst

Predicate Calculus and Program Semantics by Edsger W Dijkstra: Used

Predicate Calculus and Program Semantics (Monographs in Computer Science)

The Semantic Foundations of Logic Richard L. Epstein SET Predicate Logic & Prop

Monographs in Computer Science Ser.: Science of Programming by David Gries ...

Mathematical Foundation of Programming Semantics, Lecture Notes Computer Science

An Introduction to Tensor Calculus and Relativity (Methuen's monographs on physi