马克西姆·博尔廷 通过高级结构机制扩展定理证明器的方法。 （英语） Zbl 1213.68007号 柏林：Logos Verlag；不来梅：不来梅大学，Fachbereich Mathematik und Informatik（Diss.）（ISBN 978-3-8325-2502-6/pbk）。第229页。(2010).MSC公司：2002年8月 68甲18 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bortin}，通过高级结构机制扩展定理证明器的方法。柏林：Logos Verlag；不来梅：不来梅大学，Fachbereich Mathematik und Informatik（Diss.）（2010；Zbl 1213.68007）
托比亚斯·尼普科;劳伦斯·C·鲍尔森。;马库斯·温泽尔 伊莎贝尔/霍尔。高阶逻辑的证明助手。 （英语） Zbl 0994.68131号 计算机科学课堂讲稿. 2283. 柏林：斯普林格。xiii，218页（2002年）。MSC公司：68吨15 2002年8月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}等人，Isabelle/HOL。高阶逻辑的证明助手。柏林：施普林格出版社（2002；Zbl 0994.68131）
卢卡·维甘奥 [Dov M.加巴伊。] 标签非经典逻辑。Dov M.Gabbay的前言。 （英语） Zbl 1003.03001号 多德雷赫特：Kluwer学术出版社。xiv，291页（2000年）。 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03-02 03B45号 07年3月 68吨15 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“}，标签非经典逻辑。Dov M.Gabbay的前言。多德雷赫特：Kluwer学术出版社（2000；Zbl 1003.03001）
艾布拉姆斯基，S。（编辑）;Dov M.加巴伊。（编辑）;迈鲍姆，T.S.E。（编辑） 计算机科学逻辑手册。第2卷：背景：计算结构。 （英语） Zbl 0777.68001号 人工智能和逻辑编程。牛津：克拉伦登出版社。十、 第571页（1992年）。 审核人：R.S.Lubarsky（兰卡斯特） MSC公司：68-00 第68季度第42季度 03年3月 03B40型 68吨15 03B70号 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第2卷：背景：计算结构。牛津：克拉伦登出版社（1992；Zbl 0777.68001）
皮耶吉奥·奥迪弗雷迪（编辑） 逻辑和计算机科学。 （英语） Zbl 0716.68007号 APIC数据处理研究，31。伦敦等：学术出版社。430英镑26.50英镑；$49.50 (1990). 审核人：J.C.米切尔 MSC公司：68-06 68N17号 68吨15 03B40型 03B15号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Odifreddi}（编辑），逻辑与计算机科学。伦敦等：学术出版社（1990；Zbl 0716.68007）