第39章《符号逻辑杂志》

4月15日,楚皓二人抵达华夏科学院数学研究院报道。