Поиск книг, содержащих Чёрча тезис :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Чёрча тезис

Книга	Страницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств	361
Верещагин Н.К., Шень А. — Вычислимые функции	157
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции	12, 72, 84, 88
Карри Х.Б. — Основания математической логики	188
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения	41
Новиков П.С. — Элементы математической логики	327
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	I—215, 820; IV—960; V—855

О проекте