乔治·贾帕里泽 命题可计算逻辑。二、。 (英语) Zbl 1367.03057号 ACM事务处理。计算。日志。 7,第2期,331-362(2006).MSC公司:03B70号 第03页 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},ACM翻译。计算。日志。7,第2号,331--362(2006;Zbl 1367.03057) 全文: 内政部 arXiv公司
乔治·贾帕里泽 命题可计算逻辑。一、。 (英语) 兹伯利1367.03056 ACM事务处理。计算。日志。 7,第2期,302-330(2006).MSC公司:03B70号 第03页 2005年第68季度 2010年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},ACM翻译。计算。日志。7,第2号,302-330(2006;Zbl 1367.03056) 全文: 内政部 arXiv公司