Richard Waldinger profile picture

Richard Waldinger

Is this your author profile? Create an account to claim and customize it!

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