Конструктивный математический анализ

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

Г. Е. Минц

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

• 
•