МАТЕМАТИКА

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

А. С. Кузичев

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 21.02.1982

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

• 
•