%0 Journal Article %T 关于《合成逻辑作为一阶数学理论》一文的讨论 %J 科学通报 %P 397-397 %D 1991 %X 本刊1989年第12期发表江明德、文蕙(以下简称江、文)《合成逻辑作为一阶数学理论》一文后,先后收到中国科学院软件研究所林惠民(以下简称林)及上海华东化工学院计 %U http://csb.scichina.com:8080/CN/abstract/abstract360961.shtml