519.7 / M315L
Manna, Zohar
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
/
.- Reading, Mass.: Addison-Wesley, 1985
.- 2 v. .
.- ( Addison-Wesley Series In Computer Science
Contents. -- V. 1. Deductive Reasoning. -- V. 2. Deductive Techniques
Subject Headings:
Programming (Electronic Digital Computers);
Logic, Symbolic And Mathematical;
Author Added Entry:
Waldinger, Richard;
Copy Details:
Acc. No.: A88612, Full Call No.: 519.7 M315L, (v. 1) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------