A Look Back at the Development of Logic in China since 1978