Yong Cheng received his Ph.D. degree from National University of
Singapore. Currently, he is a professor in the School of Philosophy at
Wuhan University in China. His research interest lies in modern logic
and the foundations and philosophy of mathematics.