金炳汉;Kim,Hyeung-Joon先生 树属性1周围的概念。 (英语) Zbl 1241.03039号 Ann.纯粹应用。逻辑 162,第9期,698-709(2011).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}和\textit{H.-J.Kim}.安.纯应用。逻辑162,编号9,698--709(2011;Zbl 1241.03039) 全文: 内政部
金炳汉;阿南德·皮莱 简单的理论。 (英语) Zbl 0897.03036号 Ann.纯粹应用。逻辑 88,编号2-3,149-164(1997). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03C45号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}和\textit{A.Pillay},Ann.纯苹果。逻辑88,No.2--3,149--164(1997;Zbl 0897.03036) 全文: 内政部