秋田筑波;肯塔罗州瓦凯 关于几乎线性序的可解释性。 （英语） Zbl 0967.03029号 圣母院J.形式逻辑 39，第3期，325-331（1998年）.理学硕士：03C40号 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsuboi}和\textit{K.Wakai}，圣母院J.形式逻辑39，No.3，325--331（1998；Zbl 0967.03029） 全文： 内政部
姆拉丹·武科维奇 可解释性逻辑ILF。 （英语） Zbl 0926.03022号 数学。Commun公司。 3，第2号，205-210（1998）. 审核人：G.Mints（斯坦福） 理学硕士：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Vuković}，数学。Commun公司。3，第2号，205--210（1998；Zbl 0926.03022）
马塞洛·弗里亚斯;埃瓦州奥洛斯卡 非经典逻辑中的等式推理。 （英语） Zbl 0918.03029号 J.应用。非类别。日志。 8，编号1-2，27-66（1998）. 审核人：L.Esakia（第比利斯） 理学硕士：03G15年 03B45 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Frias}和\textit{E.Orlowska}，J.Appl。非类别。日志。8，编号1--2，27-66（1998；Zbl 0918.03029） 全文： 内政部
里卡多·比安科尼 关于最小结构中不可解释性的注记。 （英语） Zbl 0915.03033号 芬丹。数学。 158，第1期，第19-22页（1998年）. 审核人：J.M.Plotkin（东兰辛） 理学硕士：03元50分 03C40号 03C45号机组 1999年6月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bianconi}，芬丹。数学。158，编号1，19--22（1998；Zbl 0915.03033） 全文： 欧洲DML
乔治·贾帕里泽;迪克·德·乔恩 可证明性的逻辑。 （英语） Zbl 0915.03019号 Buss，Samuel R.（编辑），《证明理论手册》。阿姆斯特丹：爱思唯尔。发现螺柱逻辑。数学。137, 475-546 (1998). 审核人：姆拉登·武科维奇（萨格勒布） 理学硕士：03B45 03-02 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze}和\textit{D.de Jongh}，发现研究逻辑。数学。137475--546（1998年；Zbl 0915.03019）
阿尔伯特·维瑟 可解释性逻辑概述。 （英语） Zbl 0915.03020号 Kracht，Marcus（编辑）等人，《模态逻辑的进展》。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。CSLI法律。注释87307-359（1998年）。 审核人：姆拉登·武科维奇（萨格勒布） 理学硕士：03B45 03-02 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser}，CSLI Lect。注释87、307--359（1998；Zbl 0915.03020）
安德烈·涅斯;理查德·肖尔（Richard A.Shore）。;西奥多·斯莱曼（Theodore A.Slaman）。 递归可枚举度的可解释性和可定义性。 （英语） 兹伯利0904.03028 程序。伦敦。数学。Soc.，III.系列。 77，第2期，241-291（1998）. 审核人：R.A.Shore（伊萨卡） 理学硕士：03D25号 03天35分 PDF格式BibTeX公司 XML格式 全文： 内政部
彼得·哈耶克;帕维尔·普德拉克 一阶算术的元数学。第二次打印。 （英语） Zbl 0889.03053号 数理逻辑透视柏林：施普林格。xiv，460页（1998年）。理学硕士：30楼03号 03-02 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit｛P.Hájek｝和\textit｛P.Pudlák｝，一阶算术的元数学。第二次打印。柏林：施普林格出版社（1998；Zbl 0889.03053）