Wang, Hongguang, and Guoping Du. “Chinese Research on Mathematical Logic and the Foundations of Mathematics”. Asian Studies 10, no. 2 (May 9, 2022): 243–266. Accessed January 30, 2023. https://journals.uni-lj.si/as/article/view/10584.