共 35 条
[1]
[Anonymous], 1989, Topology via logic
[2]
Chen DG, 2001, J XIAN JIAOTONG U, V35, P1313
[3]
Ciobanu G, 2006, LECT NOTES COMPUT SC, V4281, P80
[6]
Kelly J.L., 1995, General Topology