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

Докл. АН СССР, 1963, том 148, номер 4, страницы 771–774 (Mi dan27540)

Эта публикация цитируется в 2 статьях

МАТЕМАТИКА

Интерпретация логических формул посредством финитных задач и связь ее с теорией реализуемости

Ю. Т. Медведев


Статья представлена к публикации: А. Н. Колмогоров
Поступило: 25.07.1962



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


© МИАН, 2024