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.: A111790, Full Call No.: 519.7 M315L, (v. 2) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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.: A111790, Full Call No.: 519.7 M315L, (v. 2) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------