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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Рекурсивно перечислимое множество

Книга	Страницы для поиска
Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп	300
Клини С. — Математическая логика	330
Смальян Р. — Теория формальных систем	27
Мартин-Лёф П. — Очерки по конструктивной математике	15
Линдон Р., Шупп П. — Комбинаторная теория групп	127, 296
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	III—1003; IV—957
Клини С.К. — Математическая логика	330
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга	32

О проекте