J.Michael Dunn 一级蕴涵和“耦合树”的直观语义。 （英语） Zbl 1435.03043号 菲洛斯。螺柱。 29，第3期，149-168（1976）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Dunn}，Philos。螺柱29，编号3，149--168（1976；Zbl 1435.03043） 全文： 内政部
基思·莱勒 当无法达成合理的分歧时。 （英语） Zbl 1366.03089号 诺尔斯 10，第3号，327-332（1976）.MSC公司：03A05号 03B42号 91B10型 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehrer}，Nóus 10，No.3，327--332（1976；Zbl 1366.03089） 全文： 内政部
大卫·米勒 演绎系统的概率测度。一、。 （英语） Zbl 0441.03001号 牛市。第节。逻辑，Pol。阿卡德。科学。 5, 87-96 (1976).MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。第节。逻辑，Pol。阿卡德。科学。5、87-96（1976年；Zbl 0441.03001）
帕维尔·马特拉纳 实用主义意义和真理。 （英语） Zbl 0439.03001号 形式方法。Methodol公司。皇帝。科学。，程序。Conf.，华沙1974，387-393（1976）。MSC公司：03A05号 03B45 PDF格式BibTeX公司 XML格式
彼得·哈杰克 关于观测模型理论语言的一些评论。 （英语） Zbl 0438.03044号 集合论层次论。致敬A.Mostowski，Bierutowice 1975，Lect。数学笔记。537, 335-345 (1976).MSC公司：03C99号 03D99号 03B35型 PDF格式BibTeX公司 XML格式
吉赛尔·菲舍尔·塞维 Un’algebrizzazizione del calcolo intuizionista monadico公司。 （意大利语） Zbl 0437.03033号 Matematiche公司 31, 262-276 (1976).MSC公司：03G10年 03B45 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fischer Servi}，马特马蒂奇31，262--276（1976；Zbl 0437.03033）
迪米特·斯科尔德夫（Dimit r G.Skordev）。 从组合空间理论的观点来看，搜索可计算性的概念。 （俄语） Zbl 0437.03025号 塞尔迪卡 2, 343-349 (1976).MSC公司：03D99号 03B40型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛D.G.Skordev｝，Serdica 2434-349（1976年；兹bl 0437.03025）
赫尔穆特·蒂尔 Ein graphentheoreetisches Modell zur Beschreibung von Klassifizierungsprozessen bei nichtdisjunkten Systemen von Klassen。 （德语） Zbl 0426.68091号 Algorithmische Kompliziertheit，Lern-und Erkennungsprozesses；2.国际交响乐团。，耶拿1976，93-107（1976）。MSC公司：68T99型 65年第68季度 94A50型 68兰特 03B99号 03D99号 03B05号 68瓦99 62H30型 PDF格式BibTeX公司 XML格式
加夫里洛夫，G.P。 普拉斯·沃尔斯特·恩迪奇·克拉森·埃内尔·帕提埃尔（Prävollständige Klassen einer partiell abzählbarwertigen Logik）和艾尔·芬克蒂昂·埃内·弗伦德利钦（Veränderlichen enthalten）。 （俄语） Zbl 0426.03029号 Metody Diskretn公司。分析。 28, 12-24 (1976).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.P.Gavrilov}，Metody Diskretn。分析。28、12--24（1976年；Zbl 0426.03029）
穆罕默德·阿默尔（Mohamed A.Amer）。 类型化布尔结构。 （英语） Zbl 0418.03009号 程序。数学。物理学。Soc.埃及 41, 15-22 (1976).MSC公司：03B40型 03B15号机组 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Amer}，程序。数学。物理学。Soc.埃及41，15--22（1976；Zbl 0418.03009）
Okol’nishnikova，E.A。 这是Verteilung der Funktitonentypen der q-wertigen Logik nach der Mächtiggeit的一个例子。 （俄语） Zbl 0414.94036号 Metody Diskretn公司。分析。 28, 65-77 (1976).MSC公司：94立方厘米 03B50号 05A99号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Okol’nishnikova}，Metody Diskretn。分析。28、65——77（1976年；Zbl 0414.94036）
伊贡博格尔 在逻辑、算法理论和理论格式化程序Sprachen中，对Anwendungen和Entscheidungs问题的解释。 （德语） Zbl 0411.68045号 西伯恩实验室。C.N.R.-Arco Felice（那不勒斯），27-46（1976）。MSC公司：2005年第68季度 03日第10天 03B25号 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式
戈尔德施特恩，M.Sh。 你一定是达斯特隆戒酒师Logiken。 （俄语） Zbl 0411.03060号 多克。阿卡德。诺克UzSSR 1976年，第5期，第7-8期（1976年）.MSC公司：03G99型 03B99号 03克12 PDF格式BibTeX公司 XML格式引用 \文本{M.Sh.Gol'dshtejn}，Dokl。阿卡德。Nauk UzSSR 1976，编号5，7--8（1976；Zbl 0411.03060）
斯科德夫，D。 组合逻辑的一些模型。 （英语。俄文原件） Zbl 0411.03012号 数学。笔记 19, 88-90 (1976); 翻译自Mat.Zametki 19，149-154（1976）。MSC公司：03B40型 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skordev}，数学。注释19、88--90（1976；Zbl 0411.03012）；翻译自Mat.Zametki 19，149--154（1976） 全文： 内政部
卡斯塔涅达，赫克托·内里 本体论和语法。I： 罗素悖论与自然语言属性的一般理论。 （英语） Zbl 0411.03007号 理论 42, 44-92 (1976).MSC公司：03A05号 03B10号机组 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.-N.Castañeda}，理论42，44-92（1976；Zbl 0411.03007） 全文： 内政部
V.N.格里辛。 将给定深度的理解公理简化为较小深度的理解公理。 （俄语） Zbl 0406.03066号 《集合论与非经典逻辑研究》，工作集。，莫斯科，174-180（1976）。MSC公司：03E55型 03E35号 03E70型 03E65年 03B15号机组 PDF格式BibTeX公司 XML格式
博瓦尔，D.A。；芬恩，V.K。 多值逻辑文章的一些补充。 （俄语） Zbl 0406.03047号 《集合论与非经典逻辑研究》，工作集。，莫斯科，265-325（1976）。MSC公司：03B50号 2002年3月 PDF格式BibTeX公司 XML格式
博瓦尔，D.A。 关于具有价连续体的逻辑矩阵的一般理论。 （俄语） Zbl 0404.03017号 《集合论与非经典逻辑研究》，工作集。，莫斯科，198-220（1976）。MSC公司：03B50号 PDF格式BibTeX公司 XML格式
格里戈里亚，R.S。 可数值Lukasiewicz逻辑的所有有限逼近扩展的格。 （俄语） Zbl 0403.03051号 《集合论与非经典逻辑研究》，工作集。，莫斯科，221-228（1976）。MSC公司：03G20年 06时30分 03B50号 08B15号 PDF格式BibTeX公司 XML格式
里卡多·莫里斯 投影逻辑。 （英语） Zbl 0403.03028号 阿纳斯学院。巴西。词。 48, 627-661 (1976).MSC公司：03C99号 03B99号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Morais}，阿纳斯学院。巴西。词条48、627--661（1976；Zbl 0403.03028）
V.N.格里辛。 关于无约简逻辑的代数语义。 （俄语） Zbl 0403.03023号 《集合论与非经典逻辑研究》，工作集。，莫斯科，247-264（1976）。MSC公司：03B99号 06B10号 05年3月 03G10年 03G20年 PDF格式BibTeX公司 XML格式
新墨西哥州埃尔莫拉耶娃。；Muchnik，A.A。 模态逻辑，由分配格的自同态定义。 （俄语） Zbl 0403.03013号 《集合论与非经典逻辑研究》，工作集。，莫斯科，229-246（1976）。MSC公司：03B45 03G10年 05年6月 PDF格式BibTeX公司 XML格式
雷娜特·巴茨 范畴句法在语法理论中的作用。 （英语） Zbl 0401.03004号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 503-539 (1976).MSC公司：03B15号机组 68T50型 03B99号 65年第68季度 PDF格式BibTeX公司 XML格式
J·哈特马尼斯。 形式理论中平凡定理的有效加速和长时间证明。 （英语） Zbl 0399.03042号 法国版次。自动化。通知。里奇。运营商。 10、信息理论。，R-1，29-38（1976）.MSC公司：20层03 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Hartmanis}，Rev.Franc（法郎）。自动化。通知。里奇。操作。，R 10，编号1，29--38（1976；Zbl 0399.03042） 全文： 欧洲DML
迈克尔·怀特。 关于执行动词语义分析的建议。 （英语） Zbl 0399.03015号 辩证逻辑 30, 117-134 (1976).MSC公司：03B45 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.White}，Dialectica辩证法30，117--134（1976；Zbl 0399.03015） 全文： 内政部
亨克·巴伦德雷格特；伯格斯特拉（Jan Bergstra）；扬·威廉·克鲁普；亨利·沃尔肯 lambda代数中的可表示性。 （英语） 兹伯利0399.03013 内德勒。阿卡德。潮湿。，程序。，序列号。A类 79, 377-387 (1976).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}等人，荷兰阿卡德。潮湿。，程序。，序列号。A 79，377--387（1976；Zbl 0399.03013）
佛朗哥·斯皮萨尼 生产逻辑大纲。 （意大利语、英语） Zbl 0398.03012号 《国际逻辑评论》1976、131-132、133-134（1976）。MSC公司：03B99号 03A05号 PDF格式BibTeX公司 XML格式
里士满·H·托马森。 必要性、引用和真理：指数理论。 （英语） Zbl 0397.03006号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 119-138 (1976).MSC公司：03A05号 03B45 03C80号 PDF格式BibTeX公司 XML格式
弗兰茨·冯·库切拉 《精锐的塞曼提克》中的埃因夫鲁恩。 （德语） Zbl 0396.03017号 德格鲁伊特研究所。Grundlagen der Kommunikation公司。柏林-纽约：Walter de Gruyter。十二、 187 S.DM 28.00（1976年）。MSC公司：03B45 03A05号 03-01 2002年3月 PDF格式BibTeX公司 XML格式
马蒂奇，B。 关于非经典系统A'的完备性。 （英语） Zbl 0395.03018号 玻璃。Mat.，III.系列。 11(31), 187-198 (1976).MSC公司：03B50号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{B.Martic}，玻璃。Mat.，III.系列。11（31），187--198（1976；Zbl 0395.03018）
汉斯·赫茨伯格。 预设政策。 （英语） Zbl 0395.03007号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 139-164 (1976).MSC公司：03A05号 03B60号 PDF格式BibTeX公司 XML格式
杰西·斯拉佩基；卡塔兹纳哈尔科夫斯卡；皮罗格·雷佩卡（Krystyna Pirog-Rzepecka） 数学逻辑。（Logika matematyzna）。 （波兰语） Zbl 0393.03001号 瓦兹瓦·罗克劳：瓦兹瓦韦·维达尼奇托·瑙科维。289 p.Zl 60.00（1976年）。MSC公司：03-01 03埃克斯 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式
保罗·温加特纳 关于将内涵引入集合论。 （英语） Zbl 0392.03006号 形式方法。Methodol公司。皇帝。科学。，程序。Conf.Warsaw 1974，287-296（1976）。MSC公司：03A05号 03B45 03E70型 PDF格式BibTeX公司 XML格式
Minc，G.E.（通用电气公司）。 规范树的通用性。 （英语。俄文原件） Zbl 0391.03025号 苏联。数学。，多克。 17, 527-532 (1976); Dokl翻译。阿卡德。Nauk SSSR 227808-811（1976）。MSC公司：2015年1月3日 03F99型 03D99号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc}，苏联。数学。，多克。17、527--532（1976；Zbl 0391.03025）；Dokl翻译。阿卡德。诺克SSSR 227，808--811（1976）
克洛德·安德烈·克里斯滕 Spektral问题与Komplexitätsheorie。 （德语） Zbl 0391.03021号 肯普莱克西特·冯·恩切伊德（Komplexität von Entscheid）-问题。，塞明。苏黎世1973/74，Lect。票据计算。科学。43, 102-126 (1976).MSC公司：2015年3月1日 03B10号机组 2005年3月25日 03天35分 03日第10天 03C99号 PDF格式BibTeX公司 XML格式
让·范·海耶诺特 量化理论的发展。（El desarrollo de la teoria de la cuntificacion）。 （西班牙语） Zbl 0391.03018号 库阿德诺。32.墨西哥城：墨西哥国立自治大学，墨西哥投资研究所。第57页（1976年）。MSC公司：03B99号 03A05号 2002年3月 03C10号机组 PDF格式BibTeX公司 XML格式
劳伦斯·鲍尔斯 逻辑问题的最新进展。 （英语） Zbl 0391.03006号 相关。逻辑新闻。1, 143-172 (1976).MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式
劳伦斯·鲍尔斯 在P-W上。 （英语） Zbl 0391.03005号 相关。逻辑新闻。1, 131-142 (1976).MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式
佛朗哥·斯皮萨尼 生产逻辑大纲。 （意大利语、英语） Zbl 0387.03009号 《国际逻辑评论》1976，3-12，13-22（1976）。MSC公司：03B99号 PDF格式BibTeX公司 XML格式
安德烈·伦斯基 次直不可分解伪布尔代数的同构类型的个数。 （英语） Zbl 0386.03027号 代表数学。逻辑 117-119年6月（1976年）.MSC公司：03G10年 06D20日 03B60号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{A.Wronski}，代表数学。逻辑6117--119（1976；Zbl 0386.03027）
斯洛博德斯科伊，A.M。；弗里德曼，E.I。 谓词指定子群的阿贝尔群理论。 （英语） Zbl 0386.03015号 代数逻辑 14(1975), 353-355 (1976).MSC公司：03C60型 03B25号 20K99美元 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Slobodskoi}和\textit{E.I.Friedman}，代数逻辑14，353--355（1976；Zbl 0386.03015） 全文： 内政部
V.I.Mart'janov。 带有谓词指定子群和自同态操作的阿贝尔群理论。 （英语） Zbl 0386.03014号 代数逻辑 14(1975), 330-334 (1976).MSC公司：03C60型 03B25号 20甲15 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Mart'janov}，代数逻辑14，330--334（1976；Zbl 0386.03014） 全文： 内政部
罗伯特·L·马丁。；彼得·伍德拉夫。 在L中表示“L中的真实”。 （英语） Zbl 0386.03001号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 113-117 (1976).MSC公司：03A05号 03B99号 65年第68季度 第68季度55 68T99型 PDF格式BibTeX公司 XML格式
巴纳尔基，R。 学习解决游戏和谜题。 （英语） Zbl 0385.68070号 计算。东方的。学习。工艺。，北约高级研究所，波纳斯/法国1974年，341-367（1976年）。MSC公司：68T05型 68T20型 03B10号机组 PDF格式BibTeX公司 XML格式
弗兰茨·冯·库切拉 条件句的认识论解释。 （英语） Zbl 0385.03005号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 487-501 (1976).MSC公司：03A05号 03B45 PDF格式BibTeX公司 XML格式
约翰·赫林（John M.Herring）。 自由逻辑中几个理论完整性概念的等价性。 （英语） Zbl 0384.03005号 代表数学。逻辑 6, 87-91 (1976).MSC公司：03B10号机组 03B50号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Herring}，代表数学。逻辑6，87--91（1976；Zbl 0384.03005）
罗宾内，B.J。 关于数据类型的逻辑基础。 （英语） 兹伯利0383.68024 新增。方向算法。Lang.，国际单项体育联合会工作组，圣皮埃尔德查特雷1976，63-79（1976）。MSC公司：68第05页 03B40型 PDF格式BibTeX公司 XML格式
亚历克斯·哈尤勒 多项式beschränkte nichtdeterministische Turingmaschinen unde Vollständigkeit des aussagelogischen Erfüllungs问题。 （德语） Zbl 0383.03025号 肯普莱克西特·冯·恩切伊德（Komplexität von Entscheid）-问题。，塞明。苏黎世1973/74，Lect。票据计算。科学。43, 20-35 (1976).MSC公司：2015年3月1日 03日第10天 65年第68季度 03B05号 PDF格式BibTeX公司 XML格式
查尔斯·拉科夫 关于弱直接权力理论的复杂性。 （英语） Zbl 0383.03011号 J.塞姆。日志。 41, 561-573 (1976).MSC公司：03B25号 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{C.Rackoff}，J.Symb。日志。41、561--573（1976年；Zbl 0383.03011） 全文： 内政部
哈里·刘易斯。 带有一个二元谓词字母的Krom公式。 （英语） Zbl 0381.03012号 J.塞姆。日志。 41, 341-362 (1976).MSC公司：03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Lewis}，J.Symb。日志。41、341--362（1976；Zbl 0381.03012） 全文： 内政部
克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。 关于函数集的代数复杂性。 （英语） 兹伯利0379.68038 牛市。社会数学。格里斯，n.Ser。 17，50-58（1976年）.MSC公司：65年第68季度 03B25号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}，公牛。社会数学。新南威尔士州格里斯。17、50-58（1976年；Zbl 0379.68038） 全文： 欧洲DML
轩尼诗，M。；阿什克罗夫特，E.A。 不确定性的语义。 （英语） Zbl 0379.02015 《自动化、语言和编程》，第三国际学院，爱丁堡，1976年，478-493（1976年）。MSC公司：03D99号 68瓦30 68瓦99 03B40型 PDF格式BibTeX公司 XML格式
Minc，G.E.（通用电气公司）。 相关逻辑的切割消除定理。 （英语） Zbl 0379.02011 J.索夫。数学。 6, 422-428 (1976).MSC公司：03F99型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc}，J.Sov。数学。6、422--428（1976；Zbl 0379.02011） 全文： 内政部
维科·兰塔拉 科学方法论中的定义问题。 （英语） Zbl 0379.02010 形式方法。Methodol公司。皇帝。科学。，程序。Conf.Warsaw 1974，170-187（1976）。MSC公司：03B99号 03A05号 PDF格式BibTeX公司 XML格式
埃瓦州奥洛斯卡 证明谓词演算定理的Herbrand系统。（全身性Herbranda dowodzenia twierdzen rachunku predykatow.）。 （波兰语） Zbl 0378.68043号 华沙：Panstwowe Wydawnictow Naukowe 26 P.Zl。20.00 (1976).MSC公司：68吨15 03C35号 03B10号机组 PDF格式BibTeX公司 XML格式
Dov M.加巴伊。 二维命题时态逻辑。 （英语） Zbl 0378.02007号 焦点语言：已找到。，方法，系统。；论文记忆。Y.Bar-Hillel，波士顿Philos工作室。科学。43，合成。伦敦银行同业拆借利率。89, 569-583 (1976).MSC公司：03B45 03B99号 PDF格式BibTeX公司 XML格式
大卫·米勒 重复充气。 （英语） Zbl 0377.02011 Br.J.菲洛斯。科学。 27, 363-381 (1976).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，Br.J.Philos。科学。27363--381（1976；Zbl 0377.02011） 全文： 内政部
波普尔，卡尔 关于逼真性的注释。 （英语） Zbl 0377.02010 Br.J.菲洛斯。科学。 27, 147-159 (1976).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Popper}，Br.J.Philos（英国哲学家）。科学。27、147--159（1976；Zbl 0377.02010） 全文： 内政部
蒂奇，帕维尔 重新定义了真实性。 （英语） Zbl 0377.02009 Br.J.菲洛斯。科学。 27, 25-42 (1976).MSC公司：03A05号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tichy}，Br.J.Philos（英国哲学家）。科学。27、25-42（1976年；Zbl 0377.02009年） 全文： 内政部
米查尔斯基，R.S。 通过归纳推理学习。 （英语） Zbl 0376.68060号 计算。东方的。学习。工艺。，北约高级研究所，波纳斯/法国，1974年，321-337（1976年）。MSC公司：68吨10 03B10号机组 PDF格式BibTeX公司 XML格式
达林顿，J.L。 SNOBOL程序的自动合成。 （英语） Zbl 0376.68014号 计算。东方的。学习。工艺。，北约高级研究所，波纳斯/法国，1974年，443-453（1976年）。MSC公司：68号01 68吨15 03B10号机组 PDF格式BibTeX公司 XML格式
乔治·麦克纳尔蒂。 代数方程基的判定问题。 （英语） Zbl 0376.08005号 安。数学。逻辑 10, 193-259 (1976).MSC公司：08B99号 03B25号 08A05号 03C60型 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.F.McNulty}，Ann.数学。逻辑10，193--259（1976；Zbl 0376.08005） 全文： 内政部
Pljuskevicene，A.Ju。 将逆方法推广到等式公理理论。 （英语） Zbl 0375.68038号 J.索夫。数学。 6, 437-443 (1976).MSC公司：68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{A.Ju.Pljuskevicene}，J.Sov。数学。61437-443（1976年；兹bl 0375.68038） 全文： 内政部
乔治·麦克纳尔蒂。 有限方程组的不确定性质。 （英语） Zbl 0375.02040号 J.塞姆。日志。 41, 589-604 (1976).MSC公司：03天80 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.F.McNulty}，J.Symb。日志。41、589--604（1976年；Zbl 0375.02040） 全文： 内政部
安德烈·伦斯基 基于有限的结果运算。 （英语） Zbl 0375.02012号 螺柱日志。 35, 453-458 (1976).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wronski}，研究日志。35、453--458（1976年；Zbl 0375.02012） 全文： 内政部
马雷克·托卡兹 具有无限极大度的强有限逻辑。 （英语） Zbl 0375.02011号 螺柱日志。 35, 447-451 (1976).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokarz}，螺柱日志。35、447--451（1976年；Zbl 0375.02011） 全文： 内政部
马克西莫娃，L.L。 有限级模态逻辑。 （英语。俄文原件） Zbl 0375.02007号 代数逻辑 14(1975), 188-197 (1976); 翻译自代数罗技14304-319（1975）。MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑14，188--197（1976；Zbl 0375.02007）；代数逻辑学翻译14，304--319（1975） 全文： 内政部
Dov M.加巴伊。 情态逻辑和时态逻辑的研究及其在哲学和语言学问题中的应用。 （英语） Zbl 0374.02013 Synthese库第92卷。多德雷赫特-波士顿：D.Reidel出版公司。十、 306 p.英国国防部。95.00; $ 36.00 (1976).MSC公司：03B45 2002年3月 03A05号 PDF格式BibTeX公司 XML格式
里斯托·希尔皮宁 近似真实和真实相似。 （英语） Zbl 0374.02007 形式方法。Methodol公司。皇帝。科学。，程序。Conf.华沙1974，19-42（1976）。MSC公司：03A05号 03B45 PDF格式BibTeX公司 XML格式
齐格蒙特·齐恩宾斯基 [兹兹斯拉夫·齐安巴] 实用逻辑。Zdzislaw Ziemba关于“道义逻辑”的附录。莱昂·特奥加尼安（Leon Ter-Oganian）翻译自波兰语。 （英语） Zbl 0372.02001 多德雷赫特-波士顿：D.Reidel出版公司；华沙：PWN-波兰科学出版社。十五、 437页，英国国防部。80.00; $ 29.00 (1976).MSC公司：03-01 2002年3月 03B45 03B99号 03A05号 PDF格式BibTeX公司 XML格式
罗伯特·麦克阿瑟。 时态逻辑。 （英语） Zbl 0371.02013号 Synthese库第111卷。多德雷赫特-波士顿：D.Reidel出版公司。84 p.英国国防部。43.00; $ 16.00 (1976).MSC公司：03B99号 03B45 2002年3月 PDF格式BibTeX公司 XML格式
Jerzy J.布拉兹祖克。；威斯劳·迪奥比亚克 某些模态计算的（M^n）对偶的公理化。 （英语） Zbl 0371.02012号 代表数学。逻辑 6, 3-6 (1976).MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Blaszczuk}和\textit{W.Dziobiak}，众议员数学。逻辑6，3--6（1976；Zbl 0371.02012）
布赖恩·埃利斯；芭芭拉·戴维森 逻辑和严格一致。 （英语） Zbl 0371.02011号 代表数学。逻辑 6, 29-40 (1976).MSC公司：03B45 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{B.Ellis}和\textit{B.Davidson}，代表数学。逻辑6，29--40（1976；Zbl 0371.02011）
Dalla Chiara，玛丽亚·路易莎 实证理论的多句子逻辑。 （英语） 兹比尔0369.02015 形式方法。Methodol公司。皇帝。科学。，程序。Conf.Warsaw 1974，43-56（1976）。MSC公司：03B99号 PDF格式BibTeX公司 XML格式
柔川俊雄 具有直觉推理规则的高阶数论中的析取性质。二、。 （英语） Zbl 0369.02013 代表工厂。科学。，静冈大学。 10(1975), 17-35 (1976).MSC公司：03B55号 03F99型 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Umezawa}，众议员。科学。，静冈大学10，17-35（1976；Zbl 0369.02013）
保罗·托姆 割礼。 （法语） Zbl 0369.02008 逻辑分析。，努夫。Sér。 19, 299-310 (1976).MSC公司：03A05号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Thom}，日志。分析。，努夫。Sér。19、299--310（1976；Zbl 0369.02008）
马里亚纽拉州Dezani-Ciancaglini 在（λ）-（β）-（eta）-演算中具有逆的正规形式的特征。 （英语） Zbl 0368.02028号 西奥。计算。科学。 2, 323-337 (1976).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \文本{M.Dezani-Ciancaglini}，Theor。计算。科学。2、323--337（1976；Zbl 0368.02028） 全文： 内政部
玛丽亚，斯托伊德 关于具有可数连词和析取的多值谓词演算的完备性定理。 （英语） Zbl 0368.02019 程序。Inst.数学。Iasi 1974，85-92（1976）。MSC公司：03B50号 PDF格式BibTeX公司 XML格式
斯莫林，V.P。 一元代数和一位谓词演算。 （英语） Zbl 0367.02032号 程序。计算。软件 1(1975), 455-462 (1976).MSC公司：03G15年 03B10号机组 05年6月 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Smolin}，程序。计算。柔和。1455--462（1976；Zbl 0367.02032）
路易斯·伊图里奥斯 卢卡西维奇·阿尔盖布雷斯（Algèbres de Lukasiewicz symétriques）。 （法语） Zbl 0367.02031号 出版物。数学系。，里昂 第13期，第1期，第73-96页（1976年）.MSC公司：05年3月 03B50号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{L.Iturrioz}，出版物。第页。数学。，里昂13号，编号1，73--96（1976；Zbl 0367.02031）
皮耶罗·曼加尼 Alcune question di teoria dei modelli per languagegi predictive generalif.根据语言预测语通用性，对Alcune进行问卷调查。 （意大利语） Zbl 0367.02027号 阿提·阿卡德。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。材料自然。 60, 368-376 (1976).MSC公司：03C99号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Mangani}，阿提·阿卡德。纳粹。林西，VIII。序列号。，渲染。，Cl.科学。财政部。材料编号：60368-376（1976年；兹bl 0367.02027）
迪什坎特，H。 量子力学的逻辑。 （英语） Zbl 0367.02010 形式方法。Methodol公司。皇帝。科学。，程序。Conf.Warsaw 1974，368-370（1976）。MSC公司：03B99号 03B55号 03A05号 PDF格式BibTeX公司 XML格式
霍米克，V.I。 超直觉命题演算的一个可分性定理。 （英语。俄文原件） Zbl 0367.02008 苏联。数学。，多克。 17(1976), 1214-1216 (1977); Dokl翻译。阿卡德。Nauk SSSR 2291327-1329（1976）。MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Homic}，苏联。数学。，多克。17、1214-1216（1976；Zbl 0367.02008）；Dokl翻译。阿卡德。诺克SSSR 229，1327-1329（1976）
格罗德·斯塔尔 未经形式化的演绎演绎了莫多的三段论。 （法语） Zbl 0367.02007 逻辑分析。，努夫。Sér。 19, 175-217 (1976).MSC公司：03B45 03A05号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{G.Stahl}，日志。分析。，努夫。Sér。19、175--217（1976；Zbl 0367.02007）
史蒂文·温克。 完成自动定理证明的解调。 （英语） Zbl 0366.68061号 计算。数学。申请。 2, 161-179 (1976).MSC公司：68吨15 03B99号 PDF格式BibTeX公司 XML格式引用 \textit｛S.K.Winker｝，计算机。数学。申请。2161--179（1976年；Zbl 0366.68061） 全文： 内政部
乔治·克雷塞尔 我们从希尔伯特的第二个问题中学到了什么？ （英语） Zbl 0366.02018号 数学。开发人员Hilbert Probl。，程序。交响乐团。纯数学。28，DeKalb 1974，93-130（1976）。MSC公司：03F99型 03B15号机组 03B25号 03A05号 PDF格式BibTeX公司 XML格式
贾科·辛提卡 信息、因果关系和感知逻辑。 （英语） Zbl 0366.0209号 年b。费洛斯。芬兰国家统计局，Ajatus 36，76-94（1976）。MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式
约翰·M·维克斯。 信念和概率。 （英语） Zbl 0366.0206号 Synthese库第104卷。多德雷赫特-波士顿：D.Reidel出版公司。八、 202页，英国国防部。50.00; $ 18.50 (1976).MSC公司：03A05号 03B99号 62A01型 60A05型 2002年3月 PDF格式BibTeX公司 XML格式
乔治·奥塞洛 困难的逻辑理论及其计算机近似。 （英语） Zbl 0365.02022号 《阿斯特里斯克》38-39，3-21（1976）。MSC公司：05年3月 65年第68季度 03D20日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ausiello}，阿斯特里斯克38-39，3--21（1976；Zbl 0365.02022）
贾科·辛提卡；伊尔卡·尼尼洛托 归纳概括逻辑的公理基础。 （英语） Zbl 0365.02016 形式方法。Methodol公司。皇帝。科学。，程序。Conf.华沙1974，57-81（1976）。MSC公司：03B99号 PDF格式BibTeX公司 XML格式
S.K.托马森。 将时态逻辑简化为模态逻辑。二、。 （英语） Zbl 0365.02010 理论 41 (1975), 154-169 (1976).MSC公司：03B45 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Thomason}，理论41，154--169（1976；Zbl 0365.02010） 全文： 内政部
德梅特罗维奇，J。 M最大极限逻辑。 （匈牙利语） Zbl 0365.02008 Alkalmazott Mat.Lapok公司 2, 57-66 (1976).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.Demetrovics}，Alkalmazott Mat.Lapok 2，57--66（1976；Zbl 0365.02008）
利普斯基，W.jun。 信息不完整的信息系统。 （英语） Zbl 0364.68090号 《自动化、语言和编程》，第三国际学院，爱丁堡，1976年，120-130（1976年）。MSC公司：68第20页 03B45 PDF格式BibTeX公司 XML格式
克莱夫，J.P。 拟布尔代数、经验连续性和三值逻辑。 （英语） Zbl 0364.02036号 Z.数学。Logik Grundlagen数学。 22, 481-500 (1976).MSC公司：05年3月 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Cleave}，Z.数学。Logik Grundlagen数学。22481--500（1976；Zbl 0364.02036） 全文： 内政部
R.米尔纳。 LCF模型。 （英语） 2018年03月64日Zbl 已找到。计算。科学。二、 第二部分，阿姆斯特丹第二高级课程，1976，49-63（1976）。MSC公司：03天60 03B40型 68号01 PDF格式BibTeX公司 XML格式
库齐切夫（A.S.Kuzichev）。 用运算符\（\Xi，F，Q，\Pi，\exists，\neg，\&，lor，\equiv\）组合完成系统。 （英语） Zbl 0364.02017 莫斯克。大学数学。牛。 31，编号5-6，117-122（1976）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Kuzichev}，莫斯克。大学数学。牛市。31，编号5--6，117-122（1976；Zbl 0364.02017）
罗伯特·梅耶（Robert K.Meyer）。 关联计算的一般Gentzen系统。 （英语） Zbl 0364.02010 相关。逻辑新闻。1, 189-201 (1976).MSC公司：03B45 03F99型 PDF格式BibTeX公司 XML格式
Locks，Mitchell O。 布尔最小化中的反转。 （英语） Zbl 0364.02006 逻辑分析。，努夫。Sér。 19, 285-297 (1976).MSC公司：03B05号 03-04 94立方厘米 94-04 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Locks}，日志。分析。，努夫。Sér。19、285--297（1976；Zbl 0364.02006）
伊姆雷·拉卡托斯 近代数学哲学中经验主义的复兴。 （英语） Zbl 0364.00028号 Br.J.菲洛斯。科学。 27, 201-223 (1976).MSC公司：00A30型 03A05号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{I.Lakatos}，Br.J.Philos（布莱斯·菲洛斯）。科学。27201-223（1976年；Zbl 0364.00028） 全文： 内政部
亚伯拉罕·坎德尔 关于模糊函数的分解。 （英语） Zbl 0363.94003号 IEEE传输。计算。 25, 1124-1130 (1976).MSC公司：94-00 94立方厘米 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kandel}，IEEE Trans。计算。251124--1130（1976年；Zbl 0363.94003） 全文： 内政部