维斯·杜德克（Wiesław A.Dudek）。 关于希尔伯特代数中的理想。 （英语） Zbl 0957.06018号 帕拉基大学学报。奥洛穆克。，工厂。Rerum Nat.，数学。 38, 31-34 (1999). 审核人：伊万·查伊达（Přerov） MSC公司：35楼06号 03G25号 08A30型 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Dudek}，帕拉基大学学报。奥洛穆克。，工厂。Rerum Nat.，数学。38、31-34（1999；Zbl 0957.06018） 全文： 欧洲DML
阿列克谢·潘科（Alexej P.Pynko）。 多维逻辑的蕴涵系统。 （英语） 兹伯利0947.03010 代表数学。逻辑 33, 11-27 (1999).MSC公司：03B22号 03克99 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Pynko}，代表数学。逻辑33，11--27（1999；Zbl 0947.03010）
维南西奥·卡普雷塔 类型论中的泛代数。 （英语） Zbl 0947.08001号 Bertot，Yves（编辑）等人，《高阶逻辑中的定理证明》。第12届国际会议，TPHOLs’99。1999年9月14日至17日，法国尼斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1690, 131-148 (1999). 审核人：M.Armbrust（科伦） MSC公司：08A99号 68吨15 03立方厘米35 08-04 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Capretta}，莱克特。注释计算。科学。1690、131--148（1999年；Zbl 0947.08001）
阿弗布赫，B.G。 “数字系统”概念的形式化。 （英语。俄文原件） Zbl 0944.2202号 俄罗斯数学。Surv公司。 54，第1期，254-255（1999）; 来自Usp的翻译。Mat.Nauk 54，第1期，253-254（1999年）。 审核人：I.科洛维（Cluj-Napoca） MSC公司：22A30型 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{B.G.Averbukh}，俄罗斯数学。Surv公司。54，第1号，254--255（1999；Zbl 0944.2202）；来自Usp的翻译。Mat.Nauk 54，No.1，253--254（1999） 全文： 内政部
František，贝德纳里克;约瑟夫·什拉帕尔 关系系统关于强同态的指数化。 （英语） Zbl 0929.08001号 数学。潘诺尼卡 10，第2期，169-175（1999）.MSC公司：08A02号 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bednařik}和\textit{J.Šlapal}，数学。Pannonica 10，No.2，169--175（1999；Zbl 0929.08001）
阿列克谢·潘科（Alexej P.Pynko）。 广义逻辑系统的定义等价性和代数化。 （英语） Zbl 0948.03007号 Ann.纯粹应用。逻辑 98，第1-3、1-68号（1999年）; 勘误表同上，102，第3号，283-284（2000年）。 审核人：L.Esakia（第比利斯） MSC公司：03B22号 03克99 03B60号 08B05号 03B55号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Pynko}，Ann.纯粹应用。逻辑98，编号1--3，1--68（1999；Zbl 0948.03007） 全文： 内政部