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