Recursion theory / [edited by Anil Nerode, Richard A. Shore].

• 資料種別: 図書
• ISBN: 0821814478 (alk. paper)
• タイトル: Recursion theory / [edited by Anil Nerode, Richard A. Shore].
• シリーズタイトル: Proceedings of symposia in pure mathematics ; v. 42
• 著者標目: Nerode, Anil, 1932-; Shore, Richard A., 1946-; American Mathematical Society.; Association for Symbolic Logic.; AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)
• 出版事項: Providence, R.I. : American Mathematical Society
• 出版年月日等: 1985.
• 出版年（W3CDTF）: 1985
• 数量: vii, 528 p. : ill. ; 27 cm.
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 件名標目: Recursion theory -- Addresses, essays, lectures.
• LCC: QA9.6
• DDC: 511.3
• NDLC: M15; MA
• 一般注記: "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.
• 書誌注記: Includes bibliographies.
• 所蔵機関: 国立国会図書館
• 請求記号: M15-A1069
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003124912; http://id.ndl.go.jp/bib/000003124912
• LC control number: 84018525; https://lccn.loc.gov/84018525
• 整理区分コード: 211