The logical basis for computer programming /
Manna, Zohar.
The logical basis for computer programming / Zohar Manna and Richard Waldinger. - California: Addison-Wesley Publishing Company, 1990 - xiii, 642 p. : ill. ; 25 cm
Includes bibliographies and indexes.
0201182610 0201182602
Computer programming.
Logic, Symbolic and mathematical.
QA 76.6 / .M26 1990
The logical basis for computer programming / Zohar Manna and Richard Waldinger. - California: Addison-Wesley Publishing Company, 1990 - xiii, 642 p. : ill. ; 25 cm
Includes bibliographies and indexes.
0201182610 0201182602
Computer programming.
Logic, Symbolic and mathematical.
QA 76.6 / .M26 1990