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

Predicate Calculus and Program Semantics by Edsger W Dijkstra: Used

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

The Science of Programming (Monographs in Computer Science) by Gries

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

Monographs in Computer Science Ser.: Super-Recursive Algorithms by Mark...

The Lambda Calculus: Its Syntax and Semantics, H. P. Barendregt, VG Paperback

Predicate Calculus and Program Semantics by Edsger W. Dijkstra (English) Paperba