RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1966
, том 171,
номер 6,
страницы
1282–1285
(Mi dan32770)
МАТЕМАТИКА
Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов
С. Ю. Маслов
Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
УДК:
51.01:164
Статья представлена к публикации:
П. С. Новиков
Поступило: 03.03.1966
Полный текст:
PDF файл (702 kB)
Реферативные базы данных:
©
МИАН
, 2024