Truth, deduction, and computation : logic and semantics for computer science

Author(s)

• Davis, Ruth E.

Bibliographic Information

Truth, deduction, and computation : logic and semantics for computer science

R.E. Davis

（Principles of computer science series）

Computer Science Press, c1989

Note

Includes bibliographical references (p. 257-260) and index

Details

• NCID: BA07836990
• ISBN:
  • 0716782014
• LCCN: 89034922
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xv, 265 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.7
  • DC20 : 005.13
• Subject Headings:
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Electronic data processing
• Parent Bibliography ID:
  • BA00287817