论经典命题逻辑公理系统L中的证明技巧
重庆理工大学学报(社会科学) . 2019, (3): 7 -12 .