Liang Yu()
A mathematical logician
This homepage was discarded. Please visit:
http://math.nju.edu.cn/~yuliang
)