马诺伊·昌加特;约瑟夫·马修;亨利·马丁·穆德 诱导路径函数、单调性和介数。 (英语) Zbl 1225.05146号 离散应用程序。数学。 158,第5期,426-433(2010).MSC公司:05C38号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Changat}等人,《离散应用》。数学。158,编号5,426--433(2010;Zbl 1225.05146) 全文: 内政部 链接
范·达伦(D.van Dalen)。;H·穆德。;克拉布,E.C.W。;维瑟,A。 HA的有限Kripke模型是局部PA。 (英语) Zbl 0632.03048号 圣母院J.形式逻辑 27, 528-532 (1986).MSC公司:03楼55 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen}等人,圣母院J.形式逻辑27,528--532(1986;Zbl 0632.03048) 全文: 内政部