构造性程序论文

论经典命题逻辑公理系统L中的证明技巧程和祥，刘强（西南政法大学行政法学院＆监察法学院，重庆401120）摘要：在经典命题逻辑的学习中，公理系统L中的定理证明只能使用公理模式和推...