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

Докл. АН СССР, 1986, том 290, номер 6, страницы 1289–1292 (Mi dan8400)

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

МАТЕМАТИКА

Нумерически корректные логики доказуемости

С. Н. Артемов

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

УДК: 510.65

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



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


© МИАН, 2024