|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Девис
| Книга | Страницы для поиска | | Мендельсон Э. - Введение в математическую логику | 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 |
|
|
|
|
|
|
|
О проекте