МАТЕМАТИКА

Аналог теоремы Эрбрана для конструктивного исчисления предикатов

Г. Е. Минц

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

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

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

• 
•