УДК 510.25
Конструктивный подход. Конструктивная математика
код УДК
описание
примечания
510.252
Языки конструктивной математики
510.254
Конкретные конструктивные математические теории