提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-这些ID-DBLP:phd/ethos/Gardner92澳大利亚-菲利普·加德纳TI-在类型理论中表示逻辑。1992年上半年//UR-（欧元）https://hdl.handle.net/1842/14888UR-（欧元）https://ethos.bl.uk/OrderDetails.do？uin=uk.bl.ethos.651333急诊室-