Logic and algorithmic : an international symposium held in honour of Ernst Specker

著者

• Specker, Ernst

書誌事項

Logic and algorithmic : an international symposium held in honour of Ernst Specker

（Monographie de l'Enseignement mathématique, no. 30）

L'Enseignement mathématique, Université de Genève, c1982

注記

Papers from the symposium held in Zürich, Feb. 5-11, 1980

English, French, and German

Includes bibliographical references

• NII書誌ID(NCID): BA00634466
• LCCN: 82184564
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: enggerfre
• 出版地: Genève
• ページ数/冊数: 392 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.2
  • DC19 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures
  • LCSH : Algorithms -- Addresses, essays, lectures
  • LCSH : Specker, Ernst, 1920-
• 親書誌ID:
  • BA00284455