列夫·戈迪夫 关系代数中的证明系统。 （英语） Zbl 0993.03087号 或łowska，Ewa（ed.）等人，《计算机科学应用的关系方法》。海德堡：Physica-Verlag。模糊软计算研究。65, 219-237 (2001).MSC公司：03G15年 07年3月 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev}，Stud.模糊软计算。65、219--237（2001；Zbl 0993.03087）
海因里希·瓦辛 基于残差的模态表。 （英语） Zbl 0898.03008号 J.日志。计算。 7，第6号，719-731（1997）. 审核人：G.Mints（斯坦福） MSC公司：03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}，J.Log。计算。7，第6号，719--731（1997；Zbl 0898.03008） 全文： 内政部
斯特凡诺·贝拉尔迪 武提猜想的语义纯粹直觉主义证明。 （英语） Zbl 0742.03020号 伦德。塞明。材料，都灵 46，第1号，59-89（1988）. 审核人：H.Schwichtenberg（慕尼黑） MSC公司：05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}，伦德。塞明。都灵46号马特，编号1，59-89（1988；Zbl 0742.03020）
薄荷，G.E。 具有选择公理的二阶经典逻辑的范式定理。 （俄语） Zbl 0654.03041号 伊兹夫。阿卡德。Nauk SSSR，序列号。材料。 52，第3期，581-600（1988年）. 审核人：G.薄荷 MSC公司：05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖}，伊兹夫。阿卡德。Nauk SSSR，序列号。材料52，编号3，581--600（1988；Zbl 0654.03041）
薄荷，G.E。 具有选择公理的二阶经典逻辑的范式定理。 （英语。俄文原件） Zbl 0850.03053号 数学。苏联，伊兹夫。 32，第3期，587-605（1989年）; Izv的翻译。阿卡德。Nauk SSSR，序列号。材料52，编号3581-600（1988）。MSC公司：05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints}，数学。苏联，伊兹夫。32，第3号，587--605（1988；Zbl 0850.03053）；Izv的翻译。阿卡德。Nauk SSSR，序列号。材料52，编号3，581--600（1988） 全文： 内政部