Daniel A. ROMANO
Ikonion Journal of Mathematics
2019-Cilt: 1 - Sayı: 2
27-33
Bishop's constructive mathematics, set with apartness, co-quasiordered residuated system, co-filter
84 73