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

МАТЕМАТИКА

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

С. Н. Артемов

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

УДК: 510.65

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

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

• 
•