(1)
Wang, H.; Du, G. Chinese Research on Mathematical Logic and the Foundations of Mathematics. AS 2022, 10, 243-266.