МАТЕМАТИКА

Некоторые классы сведения и разрешимые классы секвенций для конструктивного исчисления предикатов

В. П. Оревков

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

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

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

• 
•