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

МАТЕМАТИКА

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

С. Н. Артемов

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

УДК: 510.65

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

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

• 
•