Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981

著者

• Logic Colloquium
• Stern, J.

書誌事項

Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981

edited by J. Stern

（Studies in logic and the foundations of mathematics, v. 107）

North-Holland, 1982

注記

Includes bibliographies

Includes four chapters in French

詳細情報

• NII書誌ID(NCID): BA00730109
• ISBN:
  • 0444864172
• LCCN: 82006433
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: eng
• 出版地: Amsterdam ; Oxford
• ページ数/冊数: xi, 384 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.A1
  • DC19 : 511.3
  • NDC8 : 410.96
• 件名:
  • PRECIS : Mathematical logic - Conference proceedings
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • NDLSH : 記号論理学
• 親書誌ID:
  • BA00099329