Computability theory, semantics, and logic programming

Author(s)

• Fitting, Melvin Chris

Bibliographic Information

Computability theory, semantics, and logic programming

Melvin Fitting

（Oxford logic guides, 13）

Oxford University Press , Clarendon Press, 1987

Note

Includes index

• NCID: BA00503785
• ISBN:
  • 0195036913
• LCCN: 85005003
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York,Oxford
• Pages/Volumes: xi, 198 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.59
  • DC19 : 001.64/2
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Data structures (Computer science)
• Parent Bibliography ID:
  • BA00017765