МАТЕМАТИКА

Теорема Эрбрана для исчисления предикатов с равенством и функциональными символами

Г. Е. Минц

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

УДК: 51.07:164

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

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

• 
•