The logical basis for computer programming. vol. 1, Deductive reasoning / Zohar Manna, Richard Waldinger.
By: Manna, Zohar
.
Contributor(s): Waldinger, Richard.
Material type: 
BookSeries: Addison-Wesley series in computer science.Publisher: Reading, Mass. : Addison-Wesley, c1985-c1990Description: xii, 618 p. : ill. ; 25 cm. + hbk.ISBN: 0201182602 (v. 1) ; 0201182610 (v. 2).Subject(s): Computer programming | Logic, Symbolic and mathematicalDDC classification: 519.7
Contents:
v. 1. Deductive reasoning -- v. 2 Deductive systems.
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 519.7 (Browse shelf(Opens below)) | 1 | Available | 00021046 | |
| General lending | MTU Bishopstown Library Lending | 519.7 (Browse shelf(Opens below)) | 1 | Available | 00037615 |
Total holds: 0
Browsing MTU Bishopstown Library shelves, Shelving location: Lending Close shelf browser (Hides shelf browser)
Includes bibliographical references and indexes.
v. 1. Deductive reasoning -- v. 2 Deductive systems.