阿隆佐·丘奇 意义和外延逻辑的修订提纲。二、。 （英语） Zbl 1366.03177号 诺尔斯 8，第2期，135-156（1974）.MSC公司：03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Church}，诺乌斯8，No.2，135-156（1974；Zbl 1366.03177） 全文： 内政部
C·米利奇。 关于用\（{to，\&，\neg\}\）定义的命题演算。 （英语） Zbl 0443.03006号 Timisoara州立大学。缝合垫。 12, 119-124 (1974).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Milici}，An.Univ.Timișoara，Științe Mat.12，119--124（1974；Zbl 0443.03006）
朱塞佩·贾科皮尼 根据非通用模型della logica组合的可识别元素的条件。 （意大利语） Zbl 0432.03009号 扑朔迷离。，序列号。三、 问题。申请。Calcolo 97，11 P.（1974）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式
朱塞佩·隆戈 我不知道该怎么决定。 （意大利语） Zbl 0427.03010号 方庭。，序列号。三、 问题。申请。卡尔科洛 8, 87-108 (1974).MSC公司：03B35型 03B25号 03B05号 03B10号机组 2015年3月1日 20层03 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}，四分之一。，序列号。三、 问题。申请。Calcolo 8，87--108（1974；Zbl 0427.03010）
Hung，C.U。 关于内涵逻辑的公理结构。II： Gentzen型系统GX，X=E，EQ。 （英语） 兹伯利0389.00313 下巴。数学杂志。 2, 1-30 (1974).MSC公司：03B45 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{C.U.Hung}，Chin（中文）。数学杂志。2、1--30（1974年；Zbl 0389.03013）
斯皮萨尼，佛朗哥 Lineamenti di logica produttiva公司。（生产逻辑大纲。）。 （意大利语、英语） Zbl 0378.02013号 《国际逻辑评论》1972、142-161、162-181（1972）；同上，1973，4-15，16-28（1973）；同上，1973年，148-161年，162-175年（1973年）；同上，1974年，5-22年，23-40年（1974年）。MSC公司：03B99号 PDF格式BibTeX公司 XML格式
大卫·米勒 根据错误理论的基础对其进行比较。 （英语） Zbl 0377.02008 Br.J.Philos博士。科学。 25, 178-188 (1974).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，Br.J.Philos。科学。25178-188（1974年；Zbl 0377.02008年） 全文： 内政部
大卫·米勒 波普尔的逼真性定性理论。 （英语） Zbl 0377.02007 Br.J.Philos博士。科学。 25, 166-177 (1974).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，Br.J.Philos。科学。25165-177（1974年；兹bl 0377.02007） 全文： 内政部
约翰·H·哈里斯。 波普尔对“逼真性”的定义。 （英语） Zbl 0377.02006 Br.J.Philos博士。科学。 25, 160-166 (1974).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Harris}，Br.J.Philos。科学。25、160--166（1974年；Zbl 0377.02006年） 全文： 内政部
蒂奇，帕维尔 波普尔对逼真性的定义。 （英语） Zbl 0377.02005 Br.J.Philos博士。科学。 25, 155-160 (1974).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tichy}，Br.J.Philos（英国哲学家）。科学。25、155--160（1974年；Zbl 0377.02005年） 全文： 内政部
斯蒂芬·库克；罗伯特·雷克霍 关于命题演算中证明的长度。初步版本。 （英语） Zbl 0375.0204号 程序。第六届年度ACM交响乐团。理论计算。，西雅图1974，135-148（1974）。MSC公司：03B05号 68吨15 65年第68季度 05A99号 PDF格式BibTeX公司 XML格式
古德伦·坎巴赫 正交模逻辑。 （英语） Zbl 0373.02030号 Z.数学。Logik Grundlagen数学。 20, 395-406 (1974).MSC公司：03B99号 03C35号 03G25号 06C05号机组 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit｛G.Kalmbach｝，Z.数学。Logik Grundlagen数学。20395--406（1974年；Zbl 0373.02030） 全文： 内政部
朱利叶斯·赖赫巴赫 关于多值谓词演算的可判定性、广义模型和主要定理。 （英语） Zbl 0372.02034号 创建数学。 7, 11-20 (1974).MSC公司：03C99号 03B25号 03B50号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{J.Reichbach}，《创造数学》。7、11-20（1974年；Zbl 0372.02034）
格哈德·奥修斯 基本拓扑学中逻辑和集合论的内部和外部方面。 （英语） Zbl 0362.18001号 加利福尼亚州。拓扑。盖姆。差异。 15, 157-180 (1974).MSC公司：第18页第15页 18B99型 03B99号 18层20 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Osius}，加利福尼亚州。拓扑Géom。差异。卡特戈里克斯15，157--180（1974；Zbl 0362.18001） 全文： Numdam编号 欧洲DML
贾科·辛提卡 量词与量化理论。 （英语） Zbl 0362.0208号 辩证逻辑 27(1973), 329-358 (1974).MSC公司：03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Hintikka}，Dialectica方言27，329--358（1974；Zbl 0362.0208） 全文： 内政部
扎德，L.A。 模糊逻辑及其在近似推理中的应用。 （英语） 兹比尔0361.68126 通知。处理74，程序。IFIP大会。74，斯德哥尔摩，591-594（1974）。MSC公司：65年第68季度 68吨10 03B50号 94-00 PDF格式BibTeX公司 XML格式
克雷诺维奇，V.Ja。 被排斥的中间派的法则是从哪里来的？ （俄语） Zbl 0361.02045号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 40, 30-37 (1974).MSC公司：03楼55 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{V.Ja.Kreinovic}，扎普。诺什。塞明。列宁格。其他日期。材料研究所Steklova 40，30--37（1974；Zbl 0361.02045） 全文： 欧洲DML
Gary M.Hardegree。 量子逻辑中的条件。 （英语） Zbl 0361.02039号 合成 29, 63-80 (1974).MSC公司：03B99号 03G25号 03B45 06第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Hardegree}，综合29，63--80（1974；Zbl 0361.02039） 全文： 内政部
薄荷，G.E。 使用\（\varepsilon\）-符号进行谓词演算。 （俄语） Zbl 0358.02023号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 40, 101-109 (1974). 审核人：G.E.造币厂（列宁格勒） MSC公司：03B55号 05年3月 PDF格式BibTeX公司 XML格式引用 \发短信{G.E.Mints}，Zap。诺什。塞明。列宁格。其他日期。材料研究所Steklova 40，101--109（1974；Zbl 0358.02023） 全文： 欧洲DML
新泽西州扎莫夫。 Ableitungen und auflösbare Fragmente der Prädikatenkalküle的Beschränkung der Kompliziertheit der Terme。 （俄语） Zbl 0357.02011号 伊斯斯莱德。普里克尔。材料2，56-62（1974）。MSC公司：03B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
达维多夫，G.V。；P.Yu，Suvorov。 将命题重言式简化为三色图着色。 （俄语） Zbl 0357.0208号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 40, 10-13 (1974).MSC公司：03B05号 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Davydov}和\textit{P.Yu.Suvorov}，Zap。诺什。塞明。列宁格。其他日期。材料研究所Steklova 40，10-13（1974；Zbl 0357.0208） 全文： 欧洲DML
赫尔曼·迪什坎特 基于量子力学逻辑的一阶谓词演算。 （英语） Zbl 0356.02027号 代表数学。逻辑 3, 9-17 (1974).MSC公司：03B99号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Dishkant}，代表数学。逻辑3，9--17（1974；Zbl 0356.02027）
伊尔卡，尼尼洛托 归纳性与认识系统化：重归考夫曼。 （英语） Zbl 0356.02026号 合成 28, 223-232 (1974).MSC公司：03B99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit｛I.Niiniluoto｝，《合成》28223-232（1974年；Zbl 0356.02026） 全文： 内政部
史蒂文·考夫曼。 在扩展的Craigian程序中保持认识系统化。 （英语） Zbl 0356.02025号 合成 28, 215-221 (1974).MSC公司：03B99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Kaufman}，综合28，215--221（1974；Zbl 0356.02025） 全文： 内政部
理查德·劳特利 惠誉和纳尔逊命题系统的语义分析。 （英语） Zbl 0356.02022号 螺柱日志。 33, 283-298 (1974).MSC公司：03B55号 03B99号 03C35号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Routely}，Stud.Log。33、283--298（1974年；Zbl 0356.02022） 全文： 内政部
日本戈洛塔。青年成就组织。 标记网络的矩阵表示法。 （俄语） Zbl 0356.02021号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 40, 4-9 (1974).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{Ja.Ja.Golota}，扎普。诺什。塞明。列宁格。其他日期。材料研究所Steklova 40，4-9（1974；Zbl 0356.02021） 全文： 欧洲DML
芭芭拉·杰夫科特 关于正交合成乘积中交换性的注记。 （英语） Zbl 0354.02026号 《自然科学杂志》。数学。 14, 137-148 (1974).MSC公司：03B99号 06C05号机组 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{B.Jeffcott}，J.自然科学。数学。14、137--148（1974年；Zbl 0354.02026）
E.R.Gerelle。；R.J.格里奇。；F.R.米勒。 空间上的权重。 （英语） Zbl 0354.02025号 物理。现实数学。描述。，169-192 (1974).MSC公司：03B99号 06第15页 60A05型 60B99型 PDF格式BibTeX公司 XML格式
雷纳·弗罗宁 Struktur-Theorien中的Maschinelles Beweisen。 （英语） Zbl 0353.68094号 Informatik Berichte公司。2号。波恩：波恩大学，信息研究所。79 S.DM 5.00（1974年）。MSC公司：68吨15 68-02 03B15号机组 03F99型 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 计算的数学理论。 （英语） Zbl 0353.68066号 麦格劳-希尔计算机科学系列纽约等：McGraw-Hill图书公司。十、 第448页，19.50美元（1974年）。MSC公司：68-02 65年第68季度 68号01 03B10号机组 05年3月 65千5 03日第10天 PDF格式BibTeX公司 XML格式
马洛，A.R。 物理公理学。 （英语） 兹比尔0352.02027 数学杂志。物理。 1512236-2241（1974年）.MSC公司：03B99号 03G25号 60B99型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Marlow}，J.数学。物理。152236--2241（1974年；Zbl 0352.02027） 全文： 内政部
罗伯特·J·韦弗。 自由正交幺半群中的闭集。 （英语） Zbl 0346.60004号 美国数学杂志。 96, 593-601 (1974).MSC公司：60A05型 03B99号 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Weaver}，美国数学杂志。96、593--601（1974年；Zbl 0346.60004） 全文： 内政部
G.N.布洛基纳。；库德拉夫采夫，V.B。 Kriterium der Basisheit von Gruppen in der k-wertigen Logik公司。 （俄语） Zbl 0346.0209号 伊斯斯莱德。Operacii、Modeli、Sist。重新发布。4, 103-110 (1974).MSC公司：03B50号 PDF格式BibTeX公司 XML格式
海伦娜·拉西奥瓦 后代数是m值逻辑的语义基础。 （英语） Zbl 0345.02044号 阿尔及利亚螺柱。逻辑、MAA学生、数学。9, 92-142 (1974).MSC公司：03G25号 03B50号 08轴 03-02 PDF格式BibTeX公司 XML格式
福利斯，D.J。；兰德尔，C.H。 经验逻辑和量子力学。 （英语） 兹比尔0344.02018 合成 29, 81-111 (1974).MSC公司：03B99号 03G25号 06C05号机组 2015年2月6日 60G99型 60B99型 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Foulis}和\textit{C.H.Randall}，综合29，81-111（1974；Zbl 0344.02018） 全文： 内政部
埃哈德·谢贝 波普尔和量子逻辑。 （英语） Zbl 0344.0204号 Br.J.Philos博士。科学。 25, 319-328 (1974).MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{E.Scheibe}，Br.J.Philos。科学。25319--328（1974年；Zbl 0344.02004） 全文： 内政部
尼诺·科奇亚雷拉 谓词二阶逻辑的一种新形式。 （英语） Zbl 0343.02010 逻辑分析。，努夫。Sér。 17, 61-87 (1974).MSC公司：03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Cocchiarella}，日志。分析。，努夫。Sér。17、61-87（1974年；Zbl 0343.02010）
Jauch，J.M。 量子概率演算。 （英语） Zbl 0342.60004号 合成 29, 131-154 (1974).MSC公司：60A05型 60K35型 03B99号 06第15页 47A99型 PDF格式BibTeX公司 XML格式引用 \textit｛J.M.Jauch｝，《合成》29131-154（1974年；Zbl 0342.60004） 全文： 内政部
安德烈·伦斯基 关于矩阵的基数对直觉命题逻辑来说是非常充分的。 （英语） Zbl 0342.02011号 代表数学。逻辑 3, 67-72 (1974).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wronski}，代表数学。逻辑3，67--72（1974；Zbl 0342.02011）
Seeskin，K。 关于真理和二价的一些评论。 （英语） Zbl 0341.02010 逻辑分析。，努夫。Sér。 17, 101-109 (1974).MSC公司：03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{K.Seeskin}，日志。分析。，努夫。Sér。17、101--109（1974年；Zbl 0341.02010）
拉西奥瓦，H。 扩展的\（\omega^+\）值算法逻辑。带有递归过程的程序的形式化理论。 （英语） Zbl 0339.68009号 牛市。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。 22, 605-610 (1974).MSC公司：68号01 03B50号 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{H.Rasiowa}，公牛。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。22605--610（1974年；Zbl 0339.68009）
拉西奥瓦，H。 （ω^+）值算法逻辑的简化形式化。程序的形式化理论。 （英语） Zbl 0339.68008号 牛市。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。 22, 595-603 (1974).MSC公司：68号01 03B50号 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{H.Rasiowa}，公牛。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。22595--603（1974年；Zbl 0339.68008）
斯蒂芬·科默。 截面结构的基本属性。 （英语） Zbl 0338.02032号 博尔。Soc.Mat.Mex.，二级。序列号。 19, 78-85 (1974).MSC公司：03G15年 05年3月 03B25号 03C30号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Comer}，波尔。Soc.Mat.Mex.，二级。序列号。19、78——85（1974年；Zbl 0338.02032）
希拉里·普特南 如何进行定量思考。 （英语） Zbl 0338.02003号 合成 29, 55-61 (1974).MSC公司：03A05号 03B99号 03G25号 70A05型 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{H.Putnam}，综合29，55--61（1974；Zbl 0338.02003） 全文： 内政部
乔治·卡林诺夫斯基 苏尔奎尔斯建议采用逻辑模型和逻辑三值。罗伯特·布兰奇先生。 （法语） Zbl 0337.02013 逻辑分析。，努夫。Sér。 17, 111-125 (1974).MSC公司：03B45 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.Kalinowski}，日志。分析。，努夫。Sér。17、111--125（1974年；Zbl 0337.02013）
达米特，迈克尔 直觉数学和逻辑。第一部分。 （英语） Zbl 0336.02028号 牛津：牛津大学数学学院。123页0.75英镑（1974年）。MSC公司：03楼55 03B55号 03-02 PDF格式BibTeX公司 XML格式
加夫里洛夫，G.P。 在阿布扎·赫巴韦提根逻辑中，我是蒙格·德·克拉森·恩德利舍·Höhe。 （俄语） Zbl 0336.02017号 问题。基贝内蒂基 29, 5-26 (1974).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.P.Gavrilov}，Probl（问题）。基伯恩。29、5--26（1974年；Zbl 0336.02017）
Strazdiņsh，Indulis E。 有限值逻辑中自对偶类型的数目。 （英语。俄文原件） Zbl 0336.02016号 数学。笔记 15, 374-379 (1974); 翻译自Mat.Zametki 15，631-639（1974）。MSC公司：03B50号 2015年1月5日 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Strazdiņš}，数学。注释15，374--379（1974；Zbl 0336.02016）；翻译自Mat.Zametki 15，631--639（1974） 全文： 内政部
约翰·加载器 一种求m值逻辑中一阶通用决策元对应的公式的方法。 （英语） Zbl 0336.02010号 Z.数学。Logik Grundlagen数学。 20, 1-18 (1974).MSC公司：03B50号 03-04 PDF格式BibTeX公司 XML格式引用 \textit｛J.Loader｝，Z.数学。Logik Grundlagen数学。20，1-18（1974年；兹bl 0336.02010） 全文： 内政部
科林·罗伯茨 Dale谈实质含义。 （英语） Zbl 0336.02007号 分析，牛津。 35, 27-28 (1974).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Roberts}，分析，牛津大学。35、27-28（1974年；Zbl 0336.02007） 全文： 内政部
德拉加林，A.G。 直观逻辑与数据（\varepsilon）-符号Hilberts。 （俄语） Zbl 0335.02011号 伊斯托。Metodolog公司。估计。诺克16，78-84（1974）。MSC公司：03B55号 PDF格式BibTeX公司 XML格式
拉斐尔·马里诺 逻辑中的模具拓扑：der Kompaktheitssatz。 （西班牙语） Zbl 0335.02006号 博尔。马特·波哥大 8, 89-94 (1974).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Marino}，波尔。材料8，89--94（1974；Zbl 0335.02006）
亨利·朱恩·凯伯格。 统计推断的逻辑基础。 （英语） Zbl 0335.02001号 合成库, 65. 波士顿多德雷赫特出版社：D.Reidel出版公司。IX、 第427页hbk:Dfl。115.00, $39.50; pbk：英国国防部。48.00, $14.75 (1974).MSC公司：03A05号 03B99号 03-02 62-00 60-00 PDF格式BibTeX公司 XML格式
E.L.马斯登。 可简化的关联模型。 （英语） Zbl 0334.02028号 J.自然。科学。数学。 14, 23-34 (1974).MSC公司：05年3月 03C99号 03B05号 03B55号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Marsden}，J.自然科学。数学。14、23-34（1974年；Zbl 0334.02028）
Ryszard Wojcicki 关于可演绎性和多值性的注释。 （英语） Zbl 0334.02007号 J.塞姆。日志。 39, 563-566 (1974).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Wojcicki}，J.Symb。日志。39、563--566（1974年；Zbl 0334.02007） 全文： 内政部
安东·杜米特里乌 类型理论的矛盾与逻辑数学悖论的解决。 （英语） Zbl 0334.02005号 《国际逻辑评论1974》，83-102（1974）。MSC公司：03B15号机组 03B10号机组 03A05号 PDF格式BibTeX公司 XML格式
克劳斯·加尔达；埃曼纽尔·帕索斯。 量词消去在机械定理证明中的应用。 （英语） Zbl 0332.68064号 Cybern高级。系统。，第1卷，国际会议。牛津1972，335-348（1974）。MSC公司：68吨15 03B10号机组 68号01 PDF格式BibTeX公司 XML格式
苏埃利门德斯·桑托斯；玛丽拉·罗莎·米兰 谓词演算定理的自动证明。 （英语） Zbl 0332.68062号 Cybern高级。系统。，第1卷，国际会议。牛津1972，349-361（1974）。MSC公司：68吨15 03B10号机组 68号01 PDF格式BibTeX公司 XML格式
安娜丽莎·马尔贾 Alcune ostervazioni sulle algebre di Post monadiche公司。 （意大利语） Zbl 0332.02061号 波尔。Unione Mat.意大利语。，四、 序列号。 9, 104-112 (1974).MSC公司：03G15年 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcja}，波尔。Unione Mat.意大利语。，IV、 序列号。9104-112（1974年；Zbl 0332.02061）
利奥·哈灵顿 递归表示的素数模型。 （英语） Zbl 0332.02055号 J.塞姆。日志。 39, 305-309 (1974).MSC公司：03C68号 03B25号 03C60型 03D99号 PDF格式BibTeX公司 XML格式引用 \发短信{L.Harrington}，J.Symb。日志。39305-309（1974年；兹bl 0332.02055） 全文： 内政部
斯皮萨尼，佛朗哥 自生逻辑的哲学基础。 （英语） Zbl 0332.02006号 《国际逻辑评论1974》，165-272（1974）。MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式
J.F.帕比恩。 L’axiomatisation de la syntaxe et le second thee orème de Gödel。 （法语） Zbl 0331.02017号 出版物。数学系。，里昂 11，第4期，第27-87页（1974年）.MSC公司：03F99型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Pabion}，出版物。第页。数学。，里昂11，No.4，27--87（1974；Zbl 0331.02017）
大卫·刘易斯 二元道义逻辑的语义分析。 （英语） Zbl 0331.02013 逻辑理论和语义分析。Stig Kanger的论文，Synthese Library 63，1-14（1974）。 审核人：L.F.戈布尔 MSC公司：03B99号 03B45 PDF格式BibTeX公司 XML格式 全文： 内政部
T.V.图拉斯维利。 Reduktion des Entscheidbarketis是Prädikatenlogik erster Stufe zu einer Klasse面临的问题，即不对称和非自反的zweistelligen Pradikaten。 （俄语） Zbl 0329.02021号 索布施。阿卡德。Nauk Gruz。固态继电器 75, 297-300 (1974).MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Turasvili}，Soobshch。阿卡德。Nauk Gruz。SSR 75，297--300（1974；Zbl 0329.02021）
Jean-Pierre，Barthelemy 当然可以反驳。 （法语） Zbl 0327.18008号 加利福尼亚州。拓扑。盖姆。差异。 15, 21-46 (1974).MSC公司：18日第15天 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Barthelemy}，加利福尼亚州。拓扑Géom。差异。卡特戈里克斯15，21-46（1974；Zbl 0327.18008） 全文： Numdam编号 欧洲DML
E·埃德蒙兹。 模型形成-m值逻辑的应用。 （英语） Zbl 0327.02017号 Cybern高级。系统。，第3卷，国际会议。牛津1972年，1201-1206（1974）。MSC公司：03B50号 94立方厘米 03C99号 PDF格式BibTeX公司 XML格式
爱达荷州德涅夫 对布勒功能进行评估。 （保加利亚语） Zbl 0327.02009号 上帝。索菲亚。大学，Mat.Fak。 66(1971/72), 353-362 (1974).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Denev}，上帝。沙发。大学，Mat.Fak。66、353--362（1974年；Zbl 0327.02009）
尼戈伊塔，C.V。；D.A.雷莱斯库。 模糊集及其应用。（多迷走神经适用）。 （罗马尼亚语） Zbl 0326.94001号 现代无尾丝虫。Bucuresti：伊迪图拉·特尼卡。218 p.Lei 7.50（1974年）。MSC公司：94-00 03E70型 03B50号 65年第68季度 94-02 93A10号 93-02 49-00 93A99型 90C99号 68吨10 68-02 PDF格式BibTeX公司 XML格式
圣奥州阿安德拉。；哈里·刘易斯。 Krom公式的前缀类。 （英语） Zbl 0326.02035号 J.塞姆。日志。 38(1973), 628-642 (1974).MSC公司：03B25号 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Aandera}和\textit{H.R.Lewis}，J.Symb。日志。38、628--642（1974年；Zbl 0326.02035） 全文： 内政部
詹姆斯·琼斯。 递归不可判定性——一种解释。 （英语） Zbl 0326.02034号 美国数学。周一。 81, 724-738 (1974).MSC公司：03B25号 03-01 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Jones}，美国数学。周一。81、724--738（1974年；Zbl 0326.02034） 全文： 内政部
多伊奇，迈克尔 Reduzierungen是Sprachenüber induktiv definierten Bereichen的正式制造商。 （德语） 兹伯利0326.02031 Z.数学。Logik Grundlagen数学。 20, 325-338 (1974).MSC公司：03D25号 03B25号 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}，Z.数学。Logik Grundlagen数学。20、325--338（1974年；Zbl 0326.02031） 全文： 内政部
马雷克·托卡兹 Lukasiewicz逻辑上“地形”定理的新证明。 （英语） Zbl 0326.02016 代表数学。逻辑 3, 63-66 (1974).MSC公司：03B50号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokarz}，代表数学。逻辑3，63--66（1974；Zbl 0326.02016）
罗伯特·布兰奇 Modalite et temporalite公司。 （法语） Zbl 0326.02007号 《国际逻辑评论1974》，103-110（1974）。MSC公司：03A05号 03B45 PDF格式BibTeX公司 XML格式
M.G.托马森。 逻辑运算对模糊逻辑分布的影响。 （英语） Zbl 0325.94031号 IEEE传输。系统。人类网络。 4, 309-310 (1974). 审核人：韦克勒 MSC公司：94D05型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Thomason}，IEEE Trans。系统。人类网络。4309--310（1974年；Zbl 0325.94031） 全文： 内政部
维克托州马雷克；兹兹斯拉夫·帕拉克 [利普斯基，W.jun。] 信息存储和检索系统.数学基础。I.附有W.Lipski jun的附录。 （英语） Zbl 0325.68055号 Prace中心。奥比奇。波尔斯克。阿卡德。恶心 149，54页（1974）.MSC公司：68第20页 68号01 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Marek}和\textit{Z.Pawlak}，普拉斯中心。奥比奇。波尔斯克。阿卡德。瑙克149，54页（1974；Zbl 0325.68055）
R.卡斯塔内特。 Semostic formelle des opérateurs d'un langage de listes（非语言列表）。 （法语） Zbl 0325.68012号 法国版次。自动化。通知。里奇。运营商。 8、信息理论。，编号：R-319-36（1974）.MSC公司：68号01 65年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Castanet}，版本：Franc。自动化。通知。里奇。操作。，R 8，No.3，19--36（1974；Zbl 0325.68012） 全文： 欧洲DML
卢卡斯，Th。 一元代数的普适类。 （英语） Zbl 0325.02042号 纯粹数学研讨会。47号融洽关系。卢瓦因·拉努夫：卢瓦因天主教大学数学与应用研究所。二、 23页（1974年）。MSC公司：03G15年 03B25号 PDF格式BibTeX公司 XML格式
亚伯拉罕·鲁滨逊 初等代数和几何的一种判定方法——重访。 （英语） 兹伯利0325.02039 程序。Tarski Symp.公司。，国际。交响乐团。Honor Alfred Tarski，伯克利1971年，Proc。交响乐团。纯数学。25, 139-152 (1974).MSC公司：03C60型 03B25号 12升05 12K05型 PDF格式BibTeX公司 XML格式
Herre，H。 图的非有限公理化理论。 （英语） Zbl 0325.02035号 牛市。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。 22, 1187-1190 (1974).MSC公司：03B99号 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{H.Herre}，公牛。阿卡德。波兰。科学。，Sér。科学。数学。阿童木。物理。221187--1190（1974年；Zbl 0325.02035）
约翰·培根 属的不适应性。 （英语） Zbl 0325.02007号 逻辑分析。，努夫。Sér。 17, 197-208 (1974).MSC公司：03B99号 03A05号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.培根}，日志。分析。，努夫。Sér。17、197--208（1974年；Zbl 0325.02007）
赫尔穆特·弗伦德；索格，P。 Aussagenlogik和Beweisverfahren。 （德语） Zbl 0325.02001号 Mathematik für die Lehrerausbildung。斯图加特：B.G.Teubner。136 S.mit 108 Abb。，45贝斯普。und 81 Aufg.（澳大利亚）。DM 14.80（1974）。MSC公司：03-01 03B05号 PDF格式BibTeX公司 XML格式
Zinov’ev，A.A。 U-ber einige Systeme der formalen算法。 （俄语） Zbl 0324.02033号 代表数学。逻辑 3, 73-90 (1974).MSC公司：03B99号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Zinov’ev}，代表数学。逻辑3，73--90（1974；Zbl 0324.02033）
Troelstra，A.S。 选择序列理论的马尔可夫原理和马尔可夫规则。 （英语） Zbl 0324.02015号 报告74-12。阿姆斯特丹：阿姆斯特丹大学数学系。第13页（1974年）。MSC公司：03B55号 03楼55 PDF格式BibTeX公司 XML格式
洛杉矶比尤科娃。；库德拉夫采夫，V.B。 Einige Problemeüber die Vollständigkeit für Funktitonen mit Verzögerungen。 （俄语） Zbl 0323.94023号 伊斯斯莱德。Operacii、Modeli、Sist。重新发布。4, 88-102 (1974).MSC公司：94立方厘米 03B50号 PDF格式BibTeX公司 XML格式
R.O.甘地。 基本语法的集合理论函数。 （英语） Zbl 0323.02067号 公理。设置Theor。，程序。交响乐团。洛杉矶1967年，103-126（1974）。MSC公司：03E99型 03E30年 03E35号 03D20日 03B10号机组 03立方厘米75 2015年3月 PDF格式BibTeX公司 XML格式
Troelstra，A.S。 扇泛函直觉有限型算法的一些模型。 （英语） Zbl 0323.02042号 报告74-13。阿姆斯特丹：阿姆斯特丹大学数学系。第12页（1974年）。MSC公司：03B55号 03楼55 PDF格式BibTeX公司 XML格式
Troelstra，A.S。 关于扇形定理的注释。 （英语） Zbl 0323.02041号 报告74-14。阿姆斯特丹：阿姆斯特丹大学数学系。第22页（1974年）。MSC公司：03B55号 03楼55 PDF格式BibTeX公司 XML格式
Troelstra，A.S。 选择顺序。 （英语） Zbl 0323.02040号 报告74-15。阿姆斯特丹：阿姆斯特丹大学数学系。二、 第105页（1974年）。MSC公司：03B55号 03楼55 03-02 PDF格式BibTeX公司 XML格式
罗伯特·法雷尔 迈克尔·达米特谈“外表的结构”。 （英语） Zbl 0323.02008号 合成 28, 233-249 (1974).MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Farrell｝，《合成》28233-249（1974年；Zbl 0323.02008） 全文： 内政部
奥斯卡·瓦尔萨夫斯基 量词和等价关系。 （英语） Zbl 0322.02054号 数学符号。第三。巴伊亚·布兰卡，阿根廷：南国立大学马特马蒂卡研究所。第27-51页（1974年）。MSC公司：03G15年 03B10号机组 PDF格式BibTeX公司 XML格式
库齐切夫（A.S.Kuzichev）。 数学逻辑中的Das Prinzip der kombinatorischen Vollständigkeit。 （俄语） Zbl 0322.02025号 伊斯托。Metodolog公司。估计。诺克16，106-127（1974）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式
查尔斯·摩根。 解放了Brouwerian模态逻辑。 （英语） Zbl 0322.02015 对话 13, 505-514 (1974).MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Morgan}，对话13，505--514（1974；Zbl 0322.02015） 全文： 内政部
阿尔多·布雷森 论模态逻辑在物理公理化中的作用。 （英语） Zbl 0322.02014 PSA 1972，程序。1972年比恩。见面。菲洛斯。科学。兰辛协会，1972年，285-303（1974年）。MSC公司：03B45 70A05级 PDF格式BibTeX公司 XML格式
D.M.米勒。；J.C.穆齐奥。 二元函数的两位分解。 （英语） Zbl 0319.94022号 程序。马尼托巴省第三届会议编号。数学。，温尼伯1973，293-306（1974）。MSC公司：94立方厘米 03B05号 PDF格式BibTeX公司 XML格式
弗里茨·爱德华·彼得斯 Einführung在信息数学方法中。 （德语） Zbl 0319.94001号 Reihe Informatik公司.波段15。曼海姆-维恩·苏里奇：书目研究所，B.I.-维森沙夫茨瓦格。342 S.DM 28.00（1974年）。 审核人：Sonnhild Junski（柏林） MSC公司：94-01 03-01 68-01 94甲15 94甲17 94B05型 03B05号 03D20日 65年第68季度 03日第10天 PDF格式BibTeX公司 XML格式
迈克尔·菲舍尔。；迈克尔·奥·拉宾。 Presburger算法的超指数复杂性。 （英语） Zbl 0319.68024号 计算的复杂性。，程序。交响乐团。应用。数学。，纽约市1973年，27-41（1974）。MSC公司：65年第68季度 03B10号机组 03B25号 68吨15 PDF格式BibTeX公司 XML格式
史蒂芬·加兰德。 二阶基本特征。 （英语） Zbl 0319.02065号 公理。设置Theor。，程序。交响乐团。洛杉矶1967年，127-146年（1974年）。MSC公司：03E55型 03B15号机组 03E35号 2015年3月 03D55号 PDF格式BibTeX公司 XML格式
于尔肖夫（Yu Ershov）。L。 非贝拉变种群理论。 （英语） Zbl 0319.02039号 程序。塔斯基交响乐团。，国际。交响乐团。荣誉阿尔弗雷德·塔斯基（Alfred Tarski），伯克利1971年，Proc。交响乐团。纯数学。25, 255-264 (1974).MSC公司：03B25号 03C60型 20A10年 20E10年 PDF格式BibTeX公司 XML格式
唐·皮戈齐 方程式理论的结合。 （英语） Zbl 0319.02037号 集体数学。 30, 15-25 (1974).MSC公司：03B25号 03日30分 08A05号 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pigozzi}，《大学数学》。30、15--25（1974年；Zbl 0319.02037） 全文： 内政部
库尔特·豪希尔德；沃尔夫冈·劳滕贝格 Klassen的beschränkter Zahl von Elementen的等效理论问题。 （德语） Zbl 0319.02035号 芬丹。数学。 81(1973), 35-41 (1974).MSC公司：03B25号 03E20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hauschild}和\textit{W.Rautenberg}，Fundam。数学。81、35-41（1974年；Zbl 0319.02035） 全文： 内政部 欧洲DML