Mathematical logic, the theory of algorithms, and the theory of sets

著者

• Adi︠a︡n, S. I.

書誌事項

Mathematical logic, the theory of algorithms, and the theory of sets

edited by S.I. Adjan

（Proceedings of the Steklov Institute of Mathematics, no. 133）

American Mathematical Society, 1977

統一タイトル

Matematicheskai︠a︡ logika, teorii︠a︡ algoritmov i teorii︠a︡ mnozhestv. English

注記

Translation of Matematicheskai︠a︡ logika, teorii︠a︡ algoritmov i teorii︠a︡ mnozhestv

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA03849061
• ISBN:
  • 0821830333
• LCCN: 77003359
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: rus
• 出版地: Providence, R.I.
• ページ数/冊数: iv, 274 p.
• 大きさ: 27 cm
• 分類:
  • LCC : QA1
  • LCC : QA9
  • DC : 510/.8 s
  • DC : 511/.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures
  • LCSH : Algorithms -- Addresses, essays, lectures
  • LCSH : Set theory -- Addresses, essays, lectures
• 親書誌ID:
  • BA00273914