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

МАТЕМАТИКА

Обратный метод установления выводимости для непредваренных формул исчисления предикатов

С. Ю. Маслов

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

УДК: 51.01:164

Статья представлена к публикации: П. С. Новиков
Поступило: 03.03.1966

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

• 
•