Richard Waldinger profile picture

Richard Waldinger

Stand Alone

The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
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