The logical basis for computer programming / Zohar Manna, Richard Waldinger.
The logical basis for computer programming / Zohar Manna, Richard Waldinger.
The logical basis for computer programming / Zohar Manna, Richard Waldinger.
About this item
Full title
Author / Creator
Publisher
Reading, Mass. : Addison-Wesley, c1985-c1990.
Call Numbers
T0392369 , T0392368
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
2 v. : ill. ; 25 cm.
Contents
v. 1. Deductive reasoning -- v. 2 Deductive systems.
Publication information
Publisher
Reading, Mass. : Addison-Wesley, c1985-c1990.
Analytical title
Deductive reasoning.
Deductive systems.
Place of Publication
Massachusetts
Date Published
c1985-c1990.
Subjects
More information
Alternative Titles
Full title
The logical basis for computer programming / Zohar Manna, Richard Waldinger.
Variant title
Deductive reasoning.
Deductive systems.
Notes
General note
Addison-Wesley series in computer science.
Includes bibliographies and indexes.
Transferred from N519.7/18 SET (v. 1)
Transferred from N519.7/18 SET (v. 2)
Contextual Information
Date Copyright
c1985-c1990.
Identifiers
Primary Identifiers
Call Numbers
T0392369 , T0392368
Record Identifier
74Vvq0OJDwDO
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74Vvq0OJDwDO
Other Identifiers
ISBN
0201182602 (v. 1)
9780201182613 (v. 2)
0201182610 (v. 2)
9780201182606 (v. 1) :
0201182602 (v. 1) :
9780201182606 (v.1)
0201182602 (v.1)
9780201182613 (v.2)
0201182610 (v.2)
9780201182606 (v. 1)
DDC
519.7
MMS ID
991006344979702626
