菲利普·加德纳：逻辑学及其表征类型理论之间的等价性。(1995) 期刊/mscs/Gardner95 10.1017/S0960129500000785 逻辑学及其表示类型理论之间的等价性。 1 菲利普·加德纳 1 323-349 数学。结构。计算。科学。 数学。结构。计算。科学。 5 三 1995 dblp记录'journals/mscs/Gardner95'的RDF数据的来源信息 2020-04-01T08:48:49+0200