Richard Waldinger profile picture

Richard Waldinger

The Logical Basis for Computer Programming: Volume II: Deductive Systems
The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning
The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming"
The Logical Basis for Computer Programming
Studies in Automatic Programming Logic