Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

著者

• Logic Colloquium
• Cooper, S. B. (S. Barry)
• Truss, J. K
• Association for Symbolic Logic

書誌事項

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

edited by S. Barry Cooper, John K. Truss

（London Mathematical Society lecture note series, 259）

Cambridge University Press, 1999

注記

Includes bibliographical references

• NII書誌ID(NCID): BA42205160
• ISBN:
  • 0521635500
• LCCN: 99019677
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: ix, 419 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.A1
  • DC21 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Computable functions -- Congresses
• 親書誌ID:
  • BA0005393X