菲利普·加德纳 在类型理论中表示逻辑。 1992 英国爱丁堡大学 https://hdl.handle.net/1842/14888 https://ethos.bl.uk/OrderDetails.do？uin=uk.bl.ethos.651333 大英图书馆，EThOS