МАТЕМАТИКА

Об эффективных предикатных логиках доказуемости

С. Н. Артемов^a, Г. К. Джапаридзе<sup>b

a</sup> Математический институт им. В. А. Стеклова АН СССР, г. Москва
^b Институт философии Академии наук ГССР, г. Тбилиси

УДК: 510.65

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

 Англоязычная версия: Doklady Mathematics, 1988, 36:3, 478–480

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

•