The logical basis for computer programming
By: Zohar Manna, Richard Waldinger.
Contributors: Waldinger, Richard.
Series: Addison-Wesley series in computer science
Publisher: Addison-Wesley; Addison-Wesley Professional
Published: 1985
Place of publication: Reading, Mass
Language: eng
Number of pages: 632
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies and indexes.
Table of contents: title: v. 1. Deductive reasoning; title: v. 2 Deductive systems.