Hangzhou, Zhejiang, China
Areas of Specialization
Intuitionism and Constructivism |
Logic and Philosophy of Logic |
Areas of Interest
Philosophy of Mathematics |
Intuitionistic Logic |