The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning
$9.52
from $3.99
The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
from $4.05
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
from $2.36
More results from Amazon »