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

Author(s)

• Ershov, I︠U︡riĭ Leonidovich

Bibliographic Information

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

Ю.Л. Ершов

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

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

Title Transcription

Problemy razreshimosti i konstruktivnye modeli

Note

Bibliography: p. 397-[409]

Includes indexes

• NCID: BA67081239
• LCCN: 81474316
• Country Code: ru
• Title Language Code: rus
• Text Language Code: rus
• Place of Publication: Москва
• Pages/Volumes: 415 p.
• Size: 21 cm
• Classification:
  • LCC : QA9.6
• Subject Headings:
  • LCSH : Recursion theory
  • LCSH : Constructive mathematics
• Parent Bibliography ID:
  • BA20977603