齐格弗里德·戈特瓦尔德 关于多值逻辑的论文。 （英语） Zbl 1048.03002号 逻辑与计算研究9.巴尔多克：研究出版社（ISBN 0-86380-262-1/hbk）。xii，604页。（2001年）。 审核人：丹尼尔·蒙迪奇（费伦泽） MSC公司：03-02 03B50号 03B52号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Gottwald}，一篇关于多值逻辑的论文。巴尔多克：研究出版社（2001；Zbl 1048.03002）
迪德里克·巴滕斯（编辑）;克里斯·莫滕森（编辑）;格雷厄姆牧师（编辑）;Jean-Paul，Van Bendegem（编辑） 次协调逻辑的前沿。1997年7月30日至8月2日在比利时根特举行的第一届准一致性问题世界大会的论文。 （英语） Zbl 0978.00027号 逻辑与计算研究. 8. 巴尔多克：研究出版社。xiv，336页（2000年）。MSC公司：00B25型 03-06 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens}（编辑）等，次协调逻辑的前沿。1997年7月30日至8月2日在比利时根特举行的第一届准一致性问题世界大会的论文。巴尔多克：研究出版社（2000；Zbl 0978.00027）
Dov M.加巴伊。（编辑）;马尔滕·德·里杰克（编辑） 组合系统的前沿2。1998年10月2日至4日，荷兰阿姆斯特丹，第二届国际研讨会（FroCoS’98）论文选集。 （英语） Zbl 0978.00029号 逻辑与计算研究. 7. 巴尔多克：研究出版社。xiv，407页（2000年）。MSC公司：00B25型 03-06 68-06 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（编辑）和\textit{M.de Rijke}（主编），组合系统的前沿2。1998年10月2日至4日，荷兰阿姆斯特丹，第二届国际研讨会（FroCoS'98）论文选集。巴尔多克：研究出版社（2000；Zbl 0978.00029）
杰拉德·奥尔文（编辑）;乔恩·巴韦斯（编辑） 用图表进行逻辑推理。 （英语） Zbl 0870.0302号 逻辑与计算研究. 6. 牛津：牛津大学出版社。第288页（1996年）。 审核人：H.C.M.de Swart（蒂尔堡） MSC公司：03-02 03B35型 03B99号 00B60号 03年05月 68T99型 03-06 PDF格式BibTeX公司 XML格式引用 \textit{G.Allwein}（编辑）和textit{J.Barwise}（主编），用图表进行逻辑推理。牛津：牛津大学出版社（1996；Zbl 0870.0302）
克罗科，G。（编辑）;Fariñas del Cerro，L。（编辑）;A.Herzig。（编辑） 条件句：从哲学到计算机科学。 （英语） Zbl 1001.03503号 逻辑与计算研究. 5. 牛津：牛津大学出版社。viii，第368页（1995年）。MSC公司：03-06 03年05月 00B15号机组 03B45号 03B70号 68-06 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Crocco}（ed.）等人，《条件：从哲学到计算机科学》。牛津：牛津大学出版社（1995；Zbl 1001.03503）
彼得·施罗德·海斯特（编辑）;科斯塔·多森（编辑） 子结构逻辑。1990年10月7日至8日，德国图宾根大学自然语言处理系统研讨会。 （英语） Zbl 0811.68056号 逻辑与计算研究. 2. 牛津：克拉伦登出版社。x、 386页40.00英镑/hc（1994年）。 审核人：A.中村（东-黑岛） MSC公司：68-06 03B60号 68T50型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schroeder-Heister}（编辑）和\textit{K.Došen}（主编），子结构逻辑。德国图宾根大学自然语言处理系统研讨会，1990年10月7日至8日。牛津：克拉伦登出版社（1994；Zbl 0811.68056）
路易斯·法利尼亚斯·德尔·塞罗（编辑）;马蒂·彭顿（编辑） 编程的内涵逻辑。 （英语） Zbl 0787.03018号 逻辑与计算研究. 1. 牛津：克拉伦登出版社。ix，219页（1992年）。 审核人：C.Masalagiu（伊阿西） MSC公司：03B70号 68N17号 03B45号 03-02 03-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}（编辑）和\textit{M.Penttonen}（编），编程的内涵逻辑。牛津：克拉伦登出版社（1992；Zbl 0787.03018）