提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/mscs/Gardner95澳大利亚-菲利普·加德纳逻辑及其表示类型理论之间的等价性。JO-数学。结构。计算。科学。VL-5级IS-3标准SP-323型EP-3491995年上半年//DO-10.1017/S0960129500000785UR-（欧元）https://doi.org/10.1017/S0960129500000785急诊室-