The logical basis for computer programming.
Manna, Zohar.
The logical basis for computer programming. deductive reasoning / Vol. 1 : Zohar Manna, Richard Waldinger. - 1st ed. - [S.l.] : Addison-Wesley Professional, 1985. - 632 p. ; 24 cm.
0201182602 (hardcover) $68.99 9780201182606 (hardcover)
The logical basis for computer programming. deductive reasoning / Vol. 1 : Zohar Manna, Richard Waldinger. - 1st ed. - [S.l.] : Addison-Wesley Professional, 1985. - 632 p. ; 24 cm.
0201182602 (hardcover) $68.99 9780201182606 (hardcover)