|
|
 |
| Результат поиска |
Поиск книг, содержащих: Девис
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 255, 299 | | Шеннон К. — Работы по теории информации и кибернетике | 781 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 9, 53, 54, 69, 72, 75, 179, 184, 201, 202, 268, 270 | | Уизем Дж. — Линейные и нелинейные волны | 6 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 409 | | Физер Л., Физер М. — Органическая химия. Углубленный курс (Том 2) | 63* | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 262, 263, 269, 271 | | Дорренс У.Х. — Гиперзвуковые течения вязкого газа | 286, 289, 290 | | Гарнетт Дж. — Ограниченные аналитические функции | 128, 447 | | Фалькенгаген Г. — Электролиты | 99, 305, 330, 333, 353, 354, 357, 360—362 | | Некрасов Б.В. — Основы общей химии (том 2) | 500 | | Некрасов Б.В. — Основы общей химии (том 1) | 500 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 13, 257 | | Фейс Р. — Модальная логика | 208 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 11 | | Сивухин Д.В. — Общий курс физики (том 5, часть 2). Ядерная физика | 103, 339 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 358 | | Коган М.Н. — Динамика разреженного газа | 378 | | Шенфилд Дж. — Степени неразрешимости | 109, 162, 166, 179 | | Григолюк Э.И., Кабанов В.В. — Устойчивость оболочек | 95, 337 | | Карапетьянц М.Х. — Химическая термодинамика | 510 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 4, 21, 36—38, 50, 63, 64, 91, 92, 115, 116, 138, 146, 148, 178, 186, 190—192, 198, 199, 202 | | Беллман Р. — Введение в теорию матриц | 359 |
|
|
|
|
О проекте