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

МАТЕМАТИКА

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

В. А. Варданян

Научный совет по комплексной проблеме «Кибернетика» АН СССР, г. Москва

УДК: 510.65

Статья представлена к публикации: В. А. Мельников
Поступило: 30.12.1985

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

• 
•