ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Проблемы математической логики: Сложность олгоритмов и классы вычислимых функций/ Редакция литературы по математическим наукам; ред. А. А. Мучкин.
Material type:
TextLanguage: Russian Series: Библиотека кибернетическогосборникаPublication details: Москва: Мир, 1970.Description: 432 сSubject(s):
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 П 78 (Browse shelf(Opens below)) | Available | IAP13610 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 П 24 Математика математики/ | 51.01:16 П 44 Вокруг теоремы Геделя/ | 51.01:16 П 78 Проблемы логики/ | 51.01:16 П 78 Проблемы математической логики: Сложность олгоритмов и классы вычислимых функций/ | 51.01:16 Р 24 Математика метаматематики/ | 51.01:16 Р 58 Введение в теорию моделей и математику алгебры/ | 51.01:16 Р 58 Введение в теорию моделей и метаматематику алгебры/ |
Библиогр.: с.431
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.