Deductive systems

Author(s)

• Manna, Zohar
• Waldinger, Richard

Bibliographic Information

Deductive systems

Zohar Manna, Richard Waldinger

（Addison-Wesley series in computer science, . The logical basis for computer programming ; v. 2）

Addison-Wesley, c1990

Note

Includes bibliographical references (p. [605]-607) and index

Details

• NCID: BA0001444X
• ISBN:
  • 0201182610
• LCCN: 84020346
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Reading, Mass. ; Tokyo
• Pages/Volumes: xiii, 642 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 519.7
• Subject Headings:
  • LCSH : Programming (Electronic digital computers)
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00040213