@article{吴洪博_995, author = {[吴洪博, 石慧君]}, title = {Heyting系统及其H-空间化表示形式}, publisher = {电子学报}, year = {2012}, journal = {电子学报}, volume = {40}, number = {5}, eid = {995}, pages = {995-999}, keywords = {拓扑系统;Heyting系统;H-连续映射;H-空间化;范畴}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2012.05.021 }