Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Деккер
Книга
Страницы для поиска
Мендельсон Э. — Введение в математическую логику
277, 299
Френкель А.А., Бар-Хиллел И. — Основания теории множеств
363, 437, 508
Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость
72, 115, 116, 122, 133, 136, 137, 142, 156, 158, 160, 161, 163, 182, 204, 206, 207, 217, 286, 296, 318
Буземан Г. — Геометрия геодезических
97
Стройк Д.Я. — Краткий очерк истории математики
118, 120
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций
13, 258
Карри Х.Б. — Основания математической логики
188
Рейсленд Д. — Физика фононов
25, 43, 273
Шенфилд Дж. — Степени неразрешимости
54, 98, 100—102, 108
Парлетт Б. — Симметричная проблема собстенных значений. Численные методы
70
Орехов А.П. — Химия алкалоидов
298
Топчиев А.В. — Нитрование углеводородов и других органических соединений
47
Каррер П. — Курс органической химии
1016, 1030, 1099, 1120
Клини С.К. — Введение в метаматематику
342, 499
Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2
422
Кейлингерт П. — Элементы операционных систем. Введение для пользователей
156
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте