Higher-order computability

Author(s)

• Longley, John Lewis
• Normann, Dag

Bibliographic Information

Higher-order computability

John Longley, Dag Normann

（Theory and applications of computability）

Springer, c2015

Note

Includes bibliographical references

Details

• NCID: BB20908834
• ISBN:
  • 9783662479919
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Heidelberg
• Pages/Volumes: xvi, 571 p.
• Size: 25 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Computable functions
• Parent Bibliography ID:
  • BB04091064