中国科学院数学与系统科学研究院期刊网
值命題演算的有窮值的具有函數完全性的子系統
胡世華
DIE ENDLICH WERTIGEN UND FUNCTIONELL VOLLSTNDIGEN SUB-SYSTEME ■-WERTIGEN AUSSAGENKALKLS
数学学报 . 1955, (2): 173 -191 .  DOI: 10.12386/A1955sxxb0013