中国科学院数学与系统科学研究院期刊网
命題演算的公理系統
莫紹揆
SOME AXIOM SYSTEMS FOR PROPOSITIONAL CALCULUS
数学学报 . 1955, (1): 117 -135 .  DOI: 10.12386/A1955sxxb0009