主管:教育部
主办:中国人民大学
ISSN 0257-2826  CN 11-1454/G4
逻辑证明在检验真理中的作用
柳树滋
《教学与研究》 . 1980, (4): 7 -10 .