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

Докл. АН СССР, 1965, том 163, номер 3, страницы 581–583 (Mi dan31371)

МАТЕМАТИКА

Неразрешимость в конструктивном исчислении предикатов класса формул типа $\daleth\daleth\forall\exists$

В. П. Оревков

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

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



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


© МИАН, 2024