|
|
 |
| Результат поиска |
Поиск книг, содержащих: Множество перечислимое
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 10, 12, 13, 15, 98, 138, 143 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 97, 102, 105 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 100 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 101 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 18, 87, 92,97, 145 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 177 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 207 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 81 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 193 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—227; IV—265 | | Граве Д.А. — Трактат по алгебраическому анализу. Том 2: Исторический обзор | 311 |
|
|
|
|
О проекте