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

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

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

Predicate Calculus and Program Semantics Edsger W. Dijkstra Sprin

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

Dijkstra - Predicate Calculus and Program Semantics - New paperback or - X555z

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Predicate Calculus and Program Semantics by Edsger W Dijkstra: Used