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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Гёделя теорема о полноте

Книга	Страницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств	135, 346
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции	90
Кон П. — Универсальная алгебра	222
Ершов Ю.Л. — Определимость и вычислимость	275
Гончаров С.С. — Счетные булевы алгебры и разрешимость	11
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения	51, 171
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	I—910

О проекте