TY  - BOOK
AU  - Manna, Zohar
AU  - Waldinger, Richard
TI  - THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
U1  - 519.7 
PY  - 1985///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Programming (Electronic Digital Computers)
KW  - Logic, Symbolic And Mathematical
N1  - Contents. -- V. 1. Deductive Reasoning. -- V. 2. Deductive Techniques
ER  -