证明理论语义学及其意义阐述
重庆理工大学学报(社会科学) . 2020, (1): 25 -33 .