Recursion theory

著者

• AMS-ASL Summer Institute on Recursion Theory
• Nerode, Anil
• Shore, Richard A.
• American Mathematical Society

書誌事項

Recursion theory

[edited by Anil Nerode, Richard A. Shore]

（Proceedings of symposia in pure mathematics, v. 42）

American Mathematical Society, c1985

注記

"Proceedings of the AMs-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso

Papers presented at the 1982 AMS Summer Research Institute held at Cornell University from June 28 to July 16, 1982, and co-sponsored by the ASL

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA00494436
• ISBN:
  • 0821814478
• LCCN: 84018525
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: vii, 528 p.
• 大きさ: 27 cm
• 分類:
  • LCC : QA9.6
  • DC19 : 511.3
  • NDC8 : 410.96
• 件名:
  • LCSH : Recursion theory -- Addresses, essays, lectures
  • NDLSH : 記号論理学
• 親書誌ID:
  • BA00018892