|
|
 |
| Результат поиска |
Поиск книг, содержащих: Рабин
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 87, 371, 377, 454, 500, 505, 518, 524 | | Курош А.Г. — Теория групп | 496 | | Мендельсон Э. — Введение в математическую логику | 170, 304 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 167, 582, 748, 767, 769, 779, 780, 784, 809 | | Клини С. — Математическая логика | 330, 333, 393, 317, 461 | | Новиков С.П. — Топология | 249 | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 56, 196, 253, 403, 473, 474, 501 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 63 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 72, 160, 362 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 123, 147, 162 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 436 | | Копытов В.М., Медведев Н.Я. — Правоупорядоченные группы | 187, 189 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 123, 147, 162 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 397, 425 | | Харари Ф., Палмер Э. — Перечисление графов | 44 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 97, 127, 355, 366 | | Шенфилд Дж. — Степени неразрешимости | 163, 179 | | Тихомиров В.М. (ред.) — Международный конгресс математиков в Беркли 1986 г. | 11, 27, 248 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 177, 178, 207 | | Энгелер Э. — Метаматематика элементарной математики | 34 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 423 | | Клини С.К. — Математическая логика | 330, 333, 393, 317, 461 |
|
|
|
|
О проекте