布鲁姆，巴德 LCF能被超越吗！类型化演算的平面格模型。 （英语） Zbl 0825.68447号 Inf.计算。 87，编号1-2，264-301（1990）.MSC公司：68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bloom}，Inf.计算。87，编号1--2，264--301（1990；Zbl 0825.68447） 全文： 内政部
阮文浩 k值逻辑的G-完备类族的描述。 （英语。俄文原件） Zbl 0752.03008号 控制论 26，No.5，629-634（1990）; 译自Kibernetika 1990年，第5期，9-12（1990）。MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Nguyen Van Hoa}，《控制论》第26卷第5期，第629--634页（1990年；Zbl 0752.03008）；译自Kibernetika 1990，No.5，9--12（1990） 全文： 内政部
沃森，菲尔 关于枚举可约性的受限形式。 （英语） Zbl 0751.03021号 Ann.纯粹应用。逻辑 49，No.1，75-96（1990）. 审核人：S.Ishmukhametov（乌里扬诺夫斯克） MSC公司：03日30分 PDF格式BibTeX公司 XML格式引用 \textit{P.Watson}，Ann.纯应用程序。逻辑49，No.1，75--96（1990；Zbl 0751.03021） 全文： 内政部
金丝纳维丘斯，R.Yu。 容许集上泛函的主数。 （英语。俄文原件） Zbl 0733.03036号 代数逻辑 29，第4期，262-279（1990）; 摘自《代数逻辑》29，第4期，398-420（1990）。 审核人：A.S.Morozov（新西伯利亚） MSC公司：03天60 03D45号 03C57 PDF格式BibTeX公司 XML格式引用 \textit{R.Yu.Vajtsenavichyus}，代数逻辑29，No.4，262--279（1990；Zbl 0733.03036）；摘自《代数逻辑》29，第4期，398--420（1990） 全文： 内政部
德格特夫，A.N。 自然数子集的弱组合选择性质。 （英语。俄文原件） Zbl 0733.03033号 代数逻辑 29，第4期，280-286（1990）; 翻译自《代数逻辑》29，第4期，421-429（1990）。MSC公司：03D40号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Degtev}，《代数逻辑》29，第4期，280-286（1990；Zbl 0733.03033）；《代数逻辑学》29，第4期，421--429（1990）的翻译 全文： 内政部 欧洲DML
查格罗夫。 可证明逻辑扩展的不确定性质。二、。 （英语。俄文原件） Zbl 0729.03009号 代数逻辑 29，No.5，406-413（1990）; 摘自《代数逻辑》29，第5期，613-623（1990）。 审核人：V.V.Rybakov（克拉斯诺亚尔斯克） MSC公司：03B45号 03F40型 03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov}，代数逻辑29，No.5，406--413（1990；Zbl 0729.03009）；摘自《代数逻辑》29，No.5，613--623（1990） 全文： 内政部
很高兴，克莉丝汀·安;理查德·肖尔（Richard A.Shore）。 tt-度的不确定性和初始段。 （英语） Zbl 0724.03029号 J.塞姆。日志。 55，第3期，987-1006（1990）.MSC公司：03日30分 03D25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Haught}和\textit{R.A.Shore}，J.Symb。日志。55，第3号，987--1006（1990；Zbl 0724.03029） 全文： 内政部
Sudolatov，S.V.公司。 小理论中强有力的类型。 （英语。俄文原件） Zbl 0723.03018号 同胞。数学。J。 31，No.4，629-638（1990）; 来自Sib的翻译。材料Zh。31，第4号（182），118-128（1990）。 审核人：O.V.Belegradek（克麦罗沃） MSC公司：03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sudoplatov}，西布。数学。J.31，No.4，629--638（1990；Zbl 0723.03018）；来自Sib的翻译。材料Zh。31，第4号（182），118-128（1990） 全文： 内政部
查格罗夫。 可证明逻辑扩展的不确定性质。 （英语。俄文原件） Zbl 0723.03005号 代数逻辑 29，第3期，231-243（1990年）; 翻译自《代数逻辑》29，第3期，350-367（1990）。 审核人：V.V.Rybakov（克拉斯诺亚尔斯克） MSC公司：03B45号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov}，代数逻辑29，第3期，231--243（1990；Zbl 0723.03005）；《代数逻辑学》29，第3期，350-367（1990）的翻译 全文： 内政部
约翰·奇索姆 存在可判定模型的内在r.e.子集的复杂性。 （英语） Zbl 0722.03031号 J.塞姆。日志。 55，No.3，1213-1232（1990）. 审核人：A.S.Morozov（新西伯利亚） MSC公司：03C57 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chisholm}，J.Symb。日志。55，第3号，1213--1232（1990；Zbl 0722.03031） 全文： 内政部
约翰·奇索姆 有效模型理论与递归模型理论。 （英语） Zbl 0722.03030号 J.塞姆。日志。 第3期第55页，1168-1191页（1990年）. 审核人：A.S.Morozov（新西伯利亚） MSC公司：03C57 03D45号 03C25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chisholm}，J.Symb。日志。55，第3号，1168--1191（1990；Zbl 0722.03030） 全文： 内政部
卡罗尔，杰弗里·S。 最大等效关系。 （英语） Zbl 0721.03029号 J.塞姆。日志。 55，No.3，1048-1058（1990）. 审核人：郑希忠（南京） MSC公司：03D25号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Carroll}，J.Symb。日志。55，第3号，1048--1058（1990；Zbl 0721.03029） 全文： 内政部
安德烈亚·阿斯佩蒂 相干域中的稳定性和可计算性。 （英语） Zbl 0716.03042号 Inf.计算。 86，No.2，115-139（1990）. 审核人：S.P.尤克纳 MSC公司：03D45号 03D65年 2005年第68季度 03D25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}，Inf.计算。86，No.2，115--139（1990；Zbl 0716.03042） 全文： 内政部
阿兰·图赖勒 独特的Boole munies d’idéaux故事。二、。（布尔代数理论提供了不同的理想。II）。 （法语） Zbl 0716.03033号 J.塞姆。日志。 55，第3期，1192-1212（1990）.MSC公司：03C65号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Touraille}，J.Symb。日志。55，第3号，1192--1212（1990；Zbl 0716.03033） 全文： 内政部
马丁·库默 可计算的一元数的一些应用。 （英语） Zbl 0714.03038号 架构（architecture）。数学。逻辑 30，第4期，219-230（1990）. 审核人：C.冷静 MSC公司：03D45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kummer}，Arch（拱门）。数学。逻辑30，No.4，219--230（1990；Zbl 0714.03038） 全文： 内政部
里巴科夫，V.V。 模态系统Grz和直觉命题演算中的替换和可容许性问题。 （英语） Zbl 0709.03009号 Ann.纯粹应用。逻辑 50，第1期，71-106（1990）.MSC公司：03B45号 03B20型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛V.V.Rybakov｝，Ann.纯应用。逻辑50，编号1，71-106（1990；Zbl 0709.03009） 全文： 内政部
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 二阶逻辑片段的0-1律和判定问题。 （英语） Zbl 0708.03004号 Inf.计算。 87，编号1-2，302-338（1990）.MSC公司：03年2月25日 2015年3月1日 03B15号机组 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，Inf.Compute。87，编号1--2，302-338（1990；Zbl 0708.03004） 全文： 内政部
凯文·康普顿。;亨森·C·沃德 证明逻辑理论计算复杂性下限的统一方法。 （英语） Zbl 0705.03017号 Ann.纯粹应用。逻辑 48，第1号，1-79（1990）. 审核人：M.Zimand先生 MSC公司：2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Compton}和\textit{C.W.Henson}，Ann.Pure Appl。逻辑48，No.1，1-79（1990；Zbl 0705.03017） 全文： 内政部
北卡罗来纳州贝尔亚金。 有效的层次结构。 （英语。俄文原件） Zbl 0810.03038号 代数逻辑 29，第4期，253-261（1990）; 翻译自《代数逻辑》29，第4期，385-397（1990）。MSC公司：03D55号 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Belyakin}，代数逻辑29，No.4，253--261（1990；Zbl 0810.03038）；《代数逻辑》29，第4期，385--397（1990）的翻译 全文： 内政部