МАТЕМАТИКА

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

Ю. Ш. Гуревич

Красноярский государственный педагогический институт

УДК: 517.11

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

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

• 
•