Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

著者

• Sieg, Wilfried
• Workshop on Logic and Computation

書誌事項

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

Wilfried Sieg, editor

（Contemporary mathematics, 106）

American Mathematical Society, c1990

注記

"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso

詳細情報

• NII書誌ID(NCID): BA10191463
• ISBN:
  • 0821851101
• LCCN: 90000040
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: xiv, 297 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA9.59
  • DC20 : 511.3
  • NDC8 : 410.96
• 件名:
  • LCSH : Computable functions -- Data processing -- Congresses
• 親書誌ID:
  • BA00009927