TY  - BOOK
AU  - Manna,Zohar
AU  - Waldinger,Richard
TI  - The logical basis for computer programming
T2  - Addison-Wesley series in computer science
SN  - 0201182602 (v. 1) :
AV  - QA76.6 .M35595 1985
U1  - 519.7 19
PY  - 1985///-c1990
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
KW  - Discrete mathematical structures in computer science I
KW  - CMSC 56
KW  - Discrete mathematical structures in computer science II
KW  - CMSC 57
N1  - AR Mesa (Recommending faculty) AY2017-2018; Includes bibliographies and indexes; v. 1. Deductive reasoning -- v. 2 Deductive systems
ER  -