Computability and logic

Author(s)

• Boolos, George
• Jeffrey, Richard C.

Bibliographic Information

Computability and logic

[by] George Boolos [and] Richard Jeffrey

Cambridge University Press, c1974

Details

• NCID: BA07083112
• 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 : QA248.5
  • DC : 511/.3
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Recursive functions
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Computable functions