. . . 《菲利普·加德纳：在类型理论中表现逻辑》（1992）。 _：ID_365bad5f2b98aff21650e975714504b1。_：ID_365bad5f2b98aff21650e975714504b1 ._：ID_365bad5f2b98aff21650e975714504b1 ._：ID_365bad5f2b98aff21650e975714504b1“博士/方法/加德纳92”。 _：ID_f83aa0f2133b506b7db1d9bf10e25208。_：ID_f83aa0f2133b506b7db1d9bf10e25208 ._：ID_f83aa0f213b506b7db1d9bf10e25208 ._：ID_f83aa0f2133b506b7db1d9bf10e25208"1842/14888" . “在类型理论中表现逻辑。”。 . . "1"^^. _：Sig_d4aad4af4f847baeb4a010c59530d06d_1。_：Sig_d4aad4af4f847baeb4a010c59530d06d_1 ._：Sig_d4aad4af4f847baeb4a010c59530d06d_1“菲利普·加德纳”。_：Sig_d4aad4af4f847baeb4a010c59530d06d_1 ._：Sig_d4aad4af4f847baeb4a010c59530d06d_1"1"^^._：Sig_d4aad4af4f847baeb4a010c59530d06d_1 . . . . “英国爱丁堡大学”。 "1992"^^. “来源：大英图书馆，EThOS”。 “dblp记录'phd/neusty/Gardner92'的RDF数据的出处信息”。 . . . “2022-05-04T12:59:15+0200”。