CPM Educational Program Textbook Calculus Third Edition Hardcover

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundat,

Lambda-Calculus, Combinators and Functional Programming Hardcover

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

Predicate Calculus and Program Semantics (Monographs in Computer Science), Schol

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

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

An Introduction to Functional Programming Through Lambda Calculus by Michaelson