|
|
 |
| Результат поиска |
Поиск книг, содержащих: Шепердсон
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 106, 136, 305, 332, 363, 393, 396, 397, 448, 465, 468, 536 | | Мендельсон Э. — Введение в математическую логику | 226, 308 | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 56 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 36, 253, 254, 280, 362, 460 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 147 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 385, 392, 434 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 147 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 92, 178, 198, 213 |
|
|
|
|
О проекте