Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Рекурсия примитивная
Книга
Страницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.
466
Верещагин Н.К., Шень А. — Вычислимые функции
145
Мальцев А.И. — Алгоритмы и рекурсивные функции
33
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ
106, 202
Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии
172
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.
401, 499
Карри Х.Б. — Основания математической логики
187
Феферман С. — Числовые системы. Основания алгебры и анализа
88
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
180
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
168
Виноградов И.М. — Математическая энциклопедия. Предметный указатель
IV—636
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов
112
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте