Computability and logic

Author(s)

• Boolos, George
• Jeffrey, Richard C.

Bibliographic Information

Computability and logic

George Boolos, Richard Jeffrey

Cambridge University Press, 1980

2nd ed

• pbk.

Note

Includes bibliographical references and index

• NCID: BA03916260
• ISBN:
  • 0521299675
  • 0521234794
• LCCN: 80040432
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge [Eng.] ; New York
• Pages/Volumes: x, 285 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.59
  • DC : 511.3
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Recursive functions
  • LCSH : Logic, Symbolic and mathematical