共 50 条
- [3] Metric Boolean algebras and constructive measure theory Archive for Mathematical Logic, 2002, 41 : 687 - 704
- [5] A NEW APPROACH TO CONSTRUCTIVE TOPOLOGY AND MEASURE-THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 539 - 550
- [7] THE CONSTRUCTIVE THEORY OF INVARIANTS MATHEMATICS OF THE USSR-IZVESTIYA, 1981, 45 (05): : 359 - 376