Computability and logic

Author(s)

• Boolos, George
• Jeffrey, Richard C.

Bibliographic Information

Computability and logic

George Boolos, Richard Jeffrey

Cambridge University Press, 1974

Note

Includes index

• NCID: BD05159689
• ISBN:
  • 052120402X
• LCCN: 73090811
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: x, 262 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.59
  • DC : 511.3
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Recursive functions
  • LCSH : Logic, Symbolic and mathematical