Разрешимость ∀∃-теории некоторой фактор-решетки рекурсивно-перечислимых множествстатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК

Работа с статьей


[1] Дегтев А. Н. Разрешимость ∀∃-теории некоторой фактор-решетки рекурсивно-перечислимых множеств // Алгебра и логика. — 1978. — Т. 17, № 2. — С. 134–143.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть