Items related to The Logical Basis for Computer Programming, Vol. 1:...

The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning - Hardcover

Manna, Zohar; Waldinger, Richard

 
9780201182606: The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning

Synopsis

618p laminated grey boards, problems, indices, reccomended selection of related textbooks, very good

"synopsis" may belong to another edition of this title.