Исчисление равенств для примитивно рекурсивных рациональнозначных функций

М. Х. Фахми

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

•