Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

著者

• Logic Colloquium
• Drake, F. R. (Frank Robert)
• Wainer, S. S

書誌事項

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

edited by F.R. Drake and S.S. Wainer

（London Mathematical Society lecture note series, 45）

Cambridge University Press, 1980

• : pbk.

注記

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA04013449
• ISBN:
  • 052123543X
• LCCN: 82180570
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: 319 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.6
  • DC19 : 511.3
• 件名:
  • LCSH : Recursion theory -- Congresses
• 親書誌ID:
  • BA0005393X