TY - 电子学报 A1 - 吴洪博;石慧君 T1 - Heyting系统及其H-空间化表示形式 Y1 - 2012-05-25 00:00:00.0 JF - 电子学报 JO - 电子学报 SP - 995 EP - 999 VL - 40 IS - 5 UR - {https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2012.05.021} N1 - 10.3969/j.issn.0372-2112.2012.05.021 ER -