Dang,Han-Hing(韩红);Möller,Bernhard B。 扩展传递分离逻辑。 (英语) Zbl 1330.03071号 J.日志。阿尔盖布。方法计划。 84,第3期,303-325(2015).理学硕士:03B70型 03G25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.B.Möller},J.Log。阿尔盖布。方法计划。84,第3号,303--325(2015;Zbl 1330.03071) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 Bochvar-McCarthy逻辑和过程代数。 (英语) Zbl 0970.68115号 圣母院J.形式逻辑 39,第4期,464-484(1998).理学硕士:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},圣母院《形式逻辑》39,第4期,464-484(1998年;Zbl 0970.68115) 全文: 内政部