The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming" Book Discussion
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming" (Hardcover)
by
