Эта публикация цитируется в 5 статьях

МАТЕМАТИКА

Рекурсивная реализуемость и конструктивная логика предикатов

В. Е. Плиско

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

УДК: 517.12

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

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

• 
•