Проблемы разрешимости и конструктивные модели

著者

• Ershov, I︠U︡riĭ Leonidovich

書誌事項

Проблемы разрешимости и конструктивные модели

Ю.Л. Ершов

（Математическая логика и основания математики）

"Наука," Глав. ред. физико-математической лит-ры, 1980

タイトル読み

Problemy razreshimosti i konstruktivnye modeli

注記

Bibliography: p. 397-[409]

Includes indexes

詳細情報

• NII書誌ID(NCID): BA67081239
• LCCN: 81474316
• 出版国コード: ru
• タイトル言語コード: rus
• 本文言語コード: rus
• 出版地: Москва
• ページ数/冊数: 415 p.
• 大きさ: 21 cm
• 分類:
  • LCC : QA9.6
• 件名:
  • LCSH : Recursion theory
  • LCSH : Constructive mathematics
• 親書誌ID:
  • BA20977603