中国科学院数学与系统科学研究院期刊网
命题演算的一系公理
王世强
AN AXIOM SYSTEM FOR THE PROPOSITIONAL CALCULUS
数学学报 . 1952, (4): 267 -274 .  DOI: 10.12386/A1952sxxb0016