|
|
 |
| Результат поиска |
Поиск книг, содержащих: Нормальный алгорифм
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 158 | | Мендельсон Э. — Введение в математическую логику | 230 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 242, 244 | | Карри Х.Б. — Основания математической логики | 114 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 139 | | Мартин-Лёф П. — Очерки по конструктивной математике | 26 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—1072 | | Клини С.К. — Введение в метаматематику | 286, 341 | | Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 563, 564 | | Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 77, 244, 251, 258—260, 301 | | Мендельсон Э. — Введение в математическую логику | 230 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 242, 244 |
|
|
|
|
О проекте