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