|
|
 |
| Результат поиска |
Поиск книг, содержащих: Релятивизация
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 81 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 95, 169 | | Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи | 230 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 449 | | Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 68, 91 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 100 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 75 | | Кусраев А.Г., Кутателадзе С.С. — Субдифференциальное исчисление: теория и приложения | 500 | | Кусраев А.Г., Кутателадзе С.С. — Нестандартный порядковый анализ. Приглашение | 19 | | Кусраев А.Г., Кутателадзе С.С. — Нестандартные методы анализа | I.3.4.3 | | Босс В. — Лекции по математике. Том 10 | 87 | | Золотов Ю.А. (ред.) — Основы аналитической химии. Том 1 | 44 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 180 | | Золотов Ю.А. (ред.) — Основы аналитической химии | 41 |
|
|
|
|
О проекте