中国科学院数学与系统科学研究院期刊网
递归可枚举布尔代数的创造对
史念东
数学学报 . 1982, (6): 737 -745 .  DOI: 10.12386/A1982sxxb0072