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