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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: $\beta$ -функция Гёделя

Книга	Страницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления	103
Верещагин Н.К., Шень А. — Вычислимые функции	136, 144
Мендельсон Э. — Введение в математическую логику	146
Гладкий А.В. — Математическая логика	376
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	102
Мендельсон Э. — Введение в математическую логику	146

О проекте