Dalla Chiara,M.L.(医学博士)。;莱达,A。;塞尔吉奥利,G。;吉安蒂尼,R。 Toffoli-Hadamard门系统:代数方法。 (英语) Zbl 1276.03046号 J.菲洛斯。日志。 42,第3期,467-481(2013). 审核人:Anatolij Dvurečenskij(布拉迪斯拉发) MSC公司:03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,J.Philos。日志。42,第3号,467--481(2013;Zbl 1276.03046) 全文: DOI程序
罗伯托·吉安蒂尼 对Brouwer-Zadeh逻辑的语义研究。 (英语) Zbl 0749.03044号 J.菲洛斯。日志。 20,第4期,411-433(1991). 审核人:P.Pták(普拉哈) MSC公司:03G12号机组 第81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Giuntini},J.Philos。日志。20,第4号,411--433(1991;Zbl 0749.03044) 全文: DOI程序