共 14 条
[1]
Abramsky S., 1994, Handbook of Logic in Computer Science, V3, P1
[2]
[Anonymous], 2013, NEW MATH MONOGR
[4]
Gierz G., 2003, ENCYCL MATH, V93
[7]
Jung A., 1988, THESIS
[9]
Lawson J.D., 1990, OPEN PROBLEMS TOPOLO, P351