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

510.252Языки конструктивной математики.
510.254Конкретные конструктивные математические теории.

[ Начало ]