(1)
Chen, B. 70 Years of Logic in China, 1949-2019. AS 2022, 10, 19-78.