Шенфилд, Джозеф Р.
Степени неразрешимости / Шенфилд Джозеф Р. ; перевод с английского Лаврова И. А. ; под редакцией Ершова Ю. Л. - Москва : Наука, 1977. - 192 с. - (Математическая логика и основания математики). - В кн. также: Три теоремы о степенях рекурсивно перечислимых множеств / Уйс К. Е. М. Решетка рекурсивно перечислимых множеств / Лахлан А. Х. Иерархии булевых алгебр; Гипотеза сильной однородности / Фейнер Л.

Автор: Шенфилд Джозеф Р.

Основное заглавие: Степени неразрешимости

Ответственность: перевод с английского Лаврова И. А. ; под редакцией Ершова Ю. Л.

Год публикации: 1977

Место издания: Москва

Издательство: Наука

Объем: 192 с.

Серия: Математическая логика и основания математики

Примечание: В кн. также: Три теоремы о степенях рекурсивно перечислимых множеств / Уйс К. Е. М. Решетка рекурсивно перечислимых множеств / Лахлан А. Х. Иерархии булевых алгебр; Гипотеза сильной однородности / Фейнер Л.

Ключевые слова: Математическая логика; Булева алгебра; Множеств теория; Множества

ББК: 22.127