МАТЕМАТИКА

К проблеме разрешения для чистого узкого исчисления предикатов

Ю. Ш. Гуревич

Уральский государственный университет им. А. М. Горького, г. Свердловск

УДК: 517.11

Статья представлена к публикации: А. И. Мальцев
Поступило: 21.05.1965

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

• 
•