中国科学院数学与系统科学研究院期刊网
Heyting 系统及其H-Locale化形式
吴洪博, 石慧君
Heyting System and Its H-Localification
Hong Bo WU, Hui Jun SHI
数学学报 . 2012, (6): 1119 -1130 .  DOI: 10.12386/A2012sxxb0108