УДК 510.25

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


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