RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1966, том 171, номер 6, страницы 1282–1285 (Mi dan32770)

МАТЕМАТИКА

Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов

С. Ю. Маслов

Ленинградское отделение Математического института им. В. А. Стеклова АН СССР

УДК: 51.01:164

Статья представлена к публикации: П. С. Новиков
Поступило: 03.03.1966



Реферативные базы данных:


© МИАН, 2024