林德斯特伦，佩尔 关于初定关系变量的弱二阶逻辑的注记。 （英语） Zbl 1416.03007号 约翰·贝尔（编辑）等人，《伯特兰·罗素纪念逻辑会议录》，丹麦乌尔杜姆，1971年8月4日至16日。利兹：伯特兰·罗素纪念逻辑会议。221-233 (1973).MSC公司：03B15号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lindström}，in：伯特兰·罗素纪念逻辑会议记录，丹麦乌尔杜姆，1971年8月4日至16日。利兹：伯特兰·罗素纪念逻辑会议。221--233（1973年；Zbl 1416.03007）
医学硕士Dickmann。 范畴理论的非有限公理化问题。 （英语） Zbl 1416.03015号 约翰·贝尔（编辑）等人，《伯特兰·罗素纪念逻辑会议录》，丹麦乌尔杜姆，1971年8月4日至16日。利兹：伯特兰·罗素纪念逻辑会议。141-216 (1973).MSC公司：03C35号 03年2月22日 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Dickmann}，摘自：伯特兰·罗素纪念逻辑会议记录，丹麦乌尔杜姆，1971年8月4日至16日。利兹：伯特兰·罗素纪念逻辑会议。141-216（1973；Zbl 1416.03015）
尼古拉斯·雷斯彻;帕克斯，赞恩 可能的个体、跨世界身份和量化的模态逻辑。 （英语） Zbl 1366.03119号 诺尔斯 7，第4号，330-350（1973）.MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛N.Rescher｝和\textit｛Z.Parks｝，挪威7号，编号4，330-350（1973年；兹布尔1366.03119） 全文： 内政部
阿隆佐·丘奇 意义和外延逻辑的修订提纲。一、。 （英语） Zbl 1366.03176号 诺尔斯 7，第1期，24-33（1973年）.MSC公司：03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Church}，Nóus 7，No.1，24-33（1973；Zbl 1366.03176） 全文： 内政部
彼得·鲁茨 Zweiwertige和mehrwertige物流。Ein Beitrag zur Geschichte und Einheit der Logik公司。 （德语） Zbl 0454.0302号 分析：Historische Untersuchungen zur Philosophie der Logik und der exakten Wissenschaften，Bd.1。慕尼黑：埃伦沃斯·弗拉格。107 S.DM 48.00（1973）。MSC公司：03A05号 03B50号 03B05号 03-02 03-03 PDF格式BibTeX公司 XML格式
Sales Vallés，Francisco de A。 排序运算和希尔伯特代数。 （西班牙语） Zbl 0405.04004号 程序。第11届西班牙语数学竞赛。，穆尔西亚1970年，196-200年（1973年）。MSC公司：03E99型 03B99号 06A99号 46 K15 PDF格式BibTeX公司 XML格式
Minc、G.E。 关联逻辑的截消定理。 （俄语） Zbl 0374.02017 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 32，90-97（1973年）.MSC公司：03F99型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc}，扎普。诺什。塞明。列宁格。其他日期。材料研究所Steklova 32，90-97（1973；Zbl 0374.02017） 全文： 欧洲DML
耶鲁·N·帕特。 非线性：k值逻辑中逻辑完整性的一个新的必要条件。 （英语） Zbl 0374.02011 程序。第六夏威夷国际会议系统。科学。，夏威夷1973，246-248（1973）。MSC公司：03B50号 PDF格式BibTeX公司 XML格式
罗德里克·贾尔（Roderic A.Girle）。 认识逻辑、语言和概念。 （英语） Zbl 0372.020155号 逻辑分析。，努夫。Sér。 16, 359-373 (1973).MSC公司：03B45号 03B99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Girle}，日志。分析。，没有。Sér。16、359--373（1973年；Zbl 0372.02015）
夏目真弥（Imamiya，Attsumi）;Shoichi Noguchi;Juro Oizumi 实现三值多阈值功能的三值阈值逻辑网络。 （英语） Zbl 0362.94036号 程序。第六夏威夷国际会议系统。科学。，夏威夷1973，212-214（1973）。MSC公司：94立方厘米 03B50号 PDF格式BibTeX公司 XML格式
博古斯劳·伊瓦努斯 证明传统名称演算的可判定性。 （英语） Zbl 0362.02010 螺柱日志。 32, 131-147 (1973).MSC公司：03B99号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Iwanus}，Stud.Log。32、131--147（1973；Zbl 0362.02010） 全文： 内政部
薄荷，G.E。 可接受规则的可导出性。 （俄语） Zbl 0358.02031号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 32, 85-89 (1973). 审核人：G.E.造币厂（列宁格勒） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖}，扎普。诺什。塞明。列宁格。其他日期。材料研究所Steklova 32，85-89（1973；Zbl 0358.02031）
德格里夫，简 Halberstadt教授研究反事实条件句和情态。 （英语） 兹比尔0357.02005 内部逻辑版本。 1973, 126-134 (1973).MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.De Greef}，《国际逻辑评论》1973，126--134（1973；Zbl 0357.02005）
亚伯拉罕·坎德尔 关于模糊逻辑的分析。 （英语） Zbl 0356.0204号 程序。第六夏威夷国际会议系统。科学。，夏威夷1973，242-245（1973）。MSC公司：03B50号 94-00 PDF格式BibTeX公司 XML格式
布赖恩·埃利斯 主观概率的逻辑。 （英语） Zbl 0356.02007号 Br.J.Philos博士。科学。 24, 125-152 (1973).MSC公司：03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Ellis}，Br.J.Philos。科学。24、125--152（1973；Zbl 0356.02007） 全文： 内政部
豪森，C。 定律的逻辑概率必须为零吗？ （英语） Zbl 0354.0209号 Br.J.Philos博士。科学。 24, 153-163 (1973).MSC公司：03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit｛C.Howson｝，Br.J.Philos。科学。24、153--163（1973；Zbl 0354.0209） 全文： 内政部
新泽西州扎莫夫。;沙罗诺夫，V.I。 在Schlusses的Ermittlung，对Isogrammen进行了分析。 （俄语） Zbl 0352.68109号 伊斯斯莱德。普里克尔。材料194-102（1973）。MSC公司：68吨15 03B10号机组 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
德尚，J.P。;A.塞斯。 离散函数的应用。一： 组合网络的瞬态分析。 （英语） Zbl 0351.94032号 飞利浦Res.Rep。 28, 497-529 (1973).MSC公司：94立方厘米 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Deschamps}和\textit{A.Thayse}，飞利浦研究报告28，497--529（1973；Zbl 0351.94032）
Pljuskevicene，A.Ju。 将逆方法推广到具有等式的公理理论。 （俄语） Zbl 0347.68049号 扎普。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 32, 108-115 (1973).MSC公司：68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Ju.Pljuskevicene}，扎普。诺什。塞明。列宁格。其他日期。材料研究所Steklova 32，108-115（1973；Zbl 0347.68049） 全文： 欧洲DML
格罗斯让，P.V。 悖论决裂之旅的逻辑。 （法语） 兹伯利0346.02005 逻辑分析。，努夫。Sér。 16535-562（1973年）.MSC公司：03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Grosjean}，日志。分析。，努夫。Sér。16、535--562（1973；Zbl 0346.02005）
马雷克·托卡兹 结构命题演算完备性的一些概念之间的联系。 （英语） Zbl 0345.02037号 螺柱日志。 32, 77-91 (1973).MSC公司：03C35号 03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokarz}，螺柱日志。32、77--91（1973；Zbl 0345.02037） 全文： 内政部
沃伊切赫·Dzik;安德烈·伦斯基 哥德尔和达米特命题演算的结构完备性。 （英语） Zbl 0345.02036号 螺柱日志。 32, 69-75 (1973).MSC公司：03C35号 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{W.Dzik}和\textit{A.Wronski}，Stud.Log。32、69-75（1973年；Zbl 0345.02036） 全文： 内政部
Hung，C.U。 关于内涵逻辑的公理结构。三： \（B^+\），\（N^+\”，\（T^+\。 （英语） Zbl 0344.02014号 谭康J.数学。 第4期，第2期，第69-81页（1973年）.MSC公司：03B45号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{C.U.Hung}，Tamkang J.数学。4，编号2，69--81（1973；Zbl 0344.02014）
塔德乌兹·普鲁克纳尔 一类蕴涵命题演算的结构完备性证明。 （英语） Zbl 0343.02037号 螺柱日志。 32, 93-97 (1973).MSC公司：03C35号 03B50号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Prucnal}，螺柱日志。32、93——97（1973；Zbl 0343.02037） 全文： 内政部
乔治·恩格尔布雷森 三值句子逻辑的建议真值表。 （英语） Zbl 0343.02012号 《国际逻辑评论1973》，255-259（1973）。MSC公司：03B50号 PDF格式BibTeX公司 XML格式
莫里斯·尼瓦特 同余parfaite和准parfaite。 （法语） 兹比尔0338.02018 塞明。P.Dubreil，25e anne 1971/72，法斯科·阿尔盖布雷。第1、2页，《暴露》第7、9页（1973年）。MSC公司：03天 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式 全文： Numdam编号 欧洲DML
Da Costa，Newton C.A.（牛顿·C.A.）。 在Praedikatenkalkuel的Konzept der Transformierten。 （葡萄牙语） Zbl 0338.02006号 Notas Inst.Mat.Estat公司。圣保罗大学。材料2，51-57（1973）。MSC公司：03B10号机组 PDF格式BibTeX公司 XML格式
朱利叶斯·库利科夫斯基。 时态逻辑系统在形式规划中的应用。 （英语） Zbl 0337.02021号 控制网络。 2，第3-4、43-52号（1973年）.MSC公司：03B99号 03B45号 91B60型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Kulikowski}，控制网络。2，编号3--4，43-52（1973；Zbl 0337.02021）
乔治·恩格尔布雷森 认识逻辑和单纯的信仰。 （英语） Zbl 0337.02020号 逻辑分析。，没有。Sér。 16, 375-378 (1973).MSC公司：03B99 PDF格式BibTeX公司 XML格式引用 \textit{G.Engelbretsen}，日志。分析。，努夫。Sér。16、375--378（1973；Zbl 0337.02020）
赫伯特·基思 对维特博士论文《没有道义算子的道义逻辑》的评论。 （英语） Zbl 0337.02017号 理论决策。 3, 298-310 (1973).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Keuth}，《理论决定》。3、298--310（1973；Zbl 0337.02017） 全文： 内政部
Ryszard Wojcicki 句子计算方法中的矩阵方法。 （英语） Zbl 0336.02012号 螺柱日志。 32, 7-39 (1973).MSC公司：03B50号 03B05号 03C35号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Wojcicki}，研究日志。32、7--39（1973；Zbl 0336.02012） 全文： 内政部
曼弗雷德·科格斯特 关于布尔函数的分解问题。 （俄语） Zbl 0334.94013号 结构。methodol公司。建议。创建系统。自动。设计。离散偏差，程序。塞米恩。，布达佩斯1973，29-31（1973）。MSC公司：94立方厘米 03B05号 PDF格式BibTeX公司 XML格式
纳德兹达·乔治亚娃 关于Schütte插值公式中的逻辑符号。 （保加利亚语） Zbl 0334.02013 B“玻璃。阿卡德。恶心。，伊兹夫。材料仪表。 14, 99-103 (1973).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \文本{N.Georgieva}，B’lgar。阿卡德。恶心。，伊兹夫。材料说明14，99--103（1973；Zbl 0334.02013）
T.巴托克。 类型理论中有矛盾吗？ （英语） Zbl 0333.02011号 《国际逻辑评论1973》，284-287（1973）。MSC公司：03B15号机组 03A05号 PDF格式BibTeX公司 XML格式
塞夫雅科夫，V.S。 限制谓词演算的公式，用简单的可计算谓词来区分某些类型的模型。 （英语。俄文原件） Zbl 0329.02004号 苏联。数学。，多克。 14, 743-745 (1973); Dokl翻译。阿卡德。Nauk SSSR 210，285-287（1973）。MSC公司：03B10号机组 03C68号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本｛V.S.Sevjakov｝，Sov。数学。，多克。14、743--745（1973；Zbl 0329.02004）；Dokl翻译。阿卡德。瑙克SSSR 210、285——287（1973年）
萨吉杜林，R.R。 公理化代数系统。 （俄语） Zbl 0328.08008号 伊斯斯莱德。普里克尔。材料1，23-27（1973）。MSC公司：08轴 08C10号 03B99号 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
贝尔纳普，Nuel D.jun。 S-P疑问句。 （英语） Zbl 0327.02026号 确实是菲洛斯。问题、工具、目标。交响乐。蒙特利尔1971，65-80（1973）。MSC公司：03B99号 03B45号 03A05号 PDF格式BibTeX公司 XML格式
G.F.洛舍夫。 构造布尔函数最小析取范式之和的索引1的最佳局部算法。 （英语。俄文原件） Zbl 0325.02006号 苏联。数学。，多克。 1481-1483年（1973年）; Dokl翻译。阿卡德。Nauk SSSR 212、816-817（1973）。 审核人：W.哈诺 MSC公司：03B05号 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Losev}，苏联。数学。，多克。14、1481-1483（1973；Zbl 0325.02006）；Dokl翻译。阿卡德。Nauk SSSR 212、816--817（1973）
Cimev，K.N。 巴黎市政厅（Sur les paires separables des functions）。 （保加利亚语） Zbl 0324.02011号 上帝。维什。泰克。乌切布。扎韦德。，材料。 7（1971），第3期，7-12（1973）.MSC公司：03B50号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}，上帝。维什。泰克。乌切布。扎韦德。，材料7，编号3，7--12（1973；Zbl 0324.02011）
利夫切克，A.B。 Entscheidungsverfahren für die elementare Theorye einer torsionsfreien abelschen Gruppe mit abgegrenzer Untergruppe。 （俄语） Zbl 0322.02046号 材料冲击。，斯维尔德尔。 8，第3期，73-81（1973）.MSC公司：03B25号 03C60型 20公里15 13升05 20K20码 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Livchak}，材料扎。，斯维尔德尔。8，编号3，73-81（1973年；Zbl 0322.02046）
安妮塔·瓦西列夫斯卡 直觉命题演算的公式图。 （英语） Zbl 0322.02021号 螺柱日志。 32, 109-115 (1973).MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska}，Stud.Log。32、109--115（1973；Zbl 0322.02021） 全文： 内政部
罗马人多拉钦斯基 用任意量词消除逻辑中的绑定变量。 （英语） Zbl 0322.02009号 螺柱日志。 32, 117-129 (1973).MSC公司：03B10号机组 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{R.Doraczynski}，Stud.Log。32117--129（1973；Zbl 0322.02009） 全文： 内政部
米歇尔·贝诺伊斯 确定性的应用是指不存在可判定性问题的一致性。 （法语） Zbl 0319.02040号 塞明。P.Dubreil，26e anne 1972/73，Algebre，Expose 7，1p。(1973).MSC公司：03B25号 2005年5月20日 PDF格式BibTeX公司 XML格式 全文： Numdam编号 欧洲DML
Cimev，K.N。 这是行为的本质。 （保加利亚语） Zbl 0318.02012号 上帝。维什。泰克。乌切布。扎韦德。，材料。 7（1971），第1期，23-32（1973）.MSC公司：03B50号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}，上帝。维什。泰克。乌切布。扎韦德。，材料7，编号1，23--32（1973；Zbl 0318.02012）
布鲁姆，S.L。;D.J.布朗。 经典抽象逻辑。 （英语） Zbl 0317.02072号 数学学位论文。，华沙 102, 43-52 (1973).MSC公司：03G25 03B99号 PDF格式BibTeX公司 XML格式
D.J.布朗。;苏兹科，R。 抽象逻辑。 （英语） Zbl 0317.02071号 数学学位论文。，华沙 102, 9-41 (1973).MSC公司：03G25 03B99号 PDF格式BibTeX公司 XML格式
戴维·纳尔逊 一个完整的无否定系统。 （英语） 兹比尔0317.02025 螺柱日志。 32, 41-49 (1973).MSC公司：03B55型 PDF格式BibTeX公司 XML格式引用 \textit{D.Nelson}，Stud.Log（研究日志）。32、41-49（1973年；Zbl 0317.02025） 全文： 内政部
理查德·劳特利;罗伯特·梅耶（Robert K.Meyer）。 蕴涵的语义。 （英语） Zbl 0317.02017号 真理、语法、情态、程序。Temple Univ.Conf.候补。语义学1970，研究逻辑基础数学。68, 199-243 (1973).MSC公司：03B45号 03B99号 PDF格式BibTeX公司 XML格式
罗伯特·梅耶（Robert K.Meyer）。 直觉主义，隐含，否定。 （英语） Zbl 0317.02016号 真理、语法、情态、程序。Temple Univ.Conf.候补。语义学1970，研究逻辑基础数学。68, 168-198 (1973).MSC公司：03B45号 03B99号 03B55号 PDF格式BibTeX公司 XML格式
沃伊切赫苏雄 Lukasiewicz确定定义的不等价性。 （法语） Zbl 0316.06008号 代表数学。逻辑 1973年1月21日至26日.MSC公司：05年6月 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Suchon}，代表数学。逻辑1，21--26（1973；Zbl 0316.06008）
比蒂，哈里 关于道义逻辑的评价。对范·弗雷森论文的评论。 （英语） Zbl 0316.02032号 确实是菲洛斯。问题、工具、目标。交响乐。蒙特利尔1971年，173-178（1973）。MSC公司：03B45号 03B99号 PDF格式BibTeX公司 XML格式
范·弗雷森（Bas C.van Fraassen）。 附条件义务的逻辑。 （英语） Zbl 0316.02031 确实是菲洛斯。问题、工具、目标。交响乐。蒙特利尔1971年，151-172（1973）。MSC公司：03B45号 03B99号 PDF格式BibTeX公司 XML格式
罗伯特·梅耶（Robert K.Meyer）。;理查德·劳特利 经典的相关逻辑。一、。 （英语） Zbl 0316.02029号 螺柱日志。 32, 51-68 (1973).MSC公司：03B45号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey}，Stud.Log。32、51-68（1973年；Zbl 0316.02029） 全文： 内政部
Ryszard Wojcicki 经验科学形式方法论的基本概念。 （英语） Zbl 0315.02008号 年鉴爱好者。《芬兰社会》35，168-196（1973）。MSC公司：03A05号 03B99号 PDF格式BibTeX公司 XML格式
Cimev，K.N。 联邦代表处。 （保加利亚语） Zbl 0314.02030号 上帝。维什。泰克。乌切布。扎韦德。，材料。 8（1972），第4号，107-119（1973）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}，上帝。维什。泰克。乌切布。扎韦德。，材料8，编号4，107-119（1973；Zbl 0314.02030）
玛丽安·马杜奇 由矩阵的笛卡尔乘积定义的结果运算。 （波兰语） Zbl 0314.02023号 Zeszyty nauk。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 159-162 (1973).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \文本{M.Maduch}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，159--162（1973；Zbl 0314.02023）
安德烈·格尼亚兹多夫斯基 某些句子逻辑的有限完全拒绝公理系统的不存在性。 （波兰语） Zbl 0314.02022号 泽西蒂·诺克。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 123-130 (1973).MSC公司：03B05号 03B50号 03B45号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gniazdowski}，泽兹。恶心。怀俄明州。瑞典。教育学。Opolu，Mat.13123-130（1973年；Zbl 0314.02022）
玛丽安·马杜奇 关于卢卡塞维奇的拒绝规则。 （波兰语） Zbl 0314.02021号 Zeszyty nauk。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 115-121 (1973).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \文本{M.Maduch}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，115-121（1973；Zbl 0314.02021）
玛丽安·马杜奇 逻辑W的公理化。 （波兰语） Zbl 0314.02020号 泽西蒂·诺克。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 79-83 (1973).MSC公司：03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \文本{M.Maduch}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，79--83（1973；Zbl 0314.02020）
安德热伊·格尼亚多夫斯基 关于某一矩阵相对于逻辑W的强充分性的注记。 （波兰语） 兹比尔0314.02019 泽西蒂·诺克。怀兹。Szkoly拍了。马特·奥波洛。 13, 111-114 (1973).MSC公司：03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gniazdowski}，泽兹。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，111--114（1973；Zbl 0314.02019）
皮罗格·雷佩卡（Krystyna Pirog-Rzepecka） 系统W的正规形式。 （波兰语） Zbl 0314.02018号 泽西蒂·诺克。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 85-109 (1973).MSC公司：03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{K.Pirog-Rzepecka}，泽斯。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，85--109（1973；Zbl 0314.02018）
玛丽安·马杜奇;皮罗格·雷佩卡（Krystyna Pirog-Rzepecka） 某个句子演算的充分矩阵。 （波兰语） Zbl 0314.02017号 Zeszyty nauk。怀兹。Szkoly私人有限公司。奥波卢，Mat。 13, 75-78 (1973).MSC公司：03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Maduch}和\textit{K.Pirog-Rzepecka}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，75--78（1973；Zbl 0314.02017）
卡塔兹纳哈尔科夫斯卡 条件定义和带有条件定义术语的有意义表达的概念。 （波兰语） Zbl 0314.02016号 泽西蒂·诺克。怀兹。Szkoly私人有限公司。马特·奥波洛。 13, 5-56 (1973).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Halkowska}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料13，5--56（1973；Zbl 0314.02016）
Cimev，K.N。;G.A.库蒂尔科夫。 逻辑代数函数的最小可分离对变量的依赖本质。 （保加利亚语） Zbl 0314.02015号 上帝。Vissh公司。泰克。乌切布。扎韦德。，材料。 8（1972），第4号，155-162（1973）.MSC公司：03B05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}和\textit{G.A.Kutirkov}，上帝。维什。泰克。乌切布。扎韦德。，材料8，编号4，155--162（1973；Zbl 0314.02015）
Cimev，K.N。 Les paires separables et Les variables puissamment essentielles des functions de trois，quare et cinq arguments（可分离变量）。 （保加利亚语） Zbl 0314.02014号 上帝。维什。泰克。乌切布。扎韦德。，材料。 8（1972），第3期，31-39（1973）.MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}，上帝。维什。泰克。乌切布。扎韦德。，材料8，编号3，31-39（1973；Zbl 0314.02014）
Cimev，K.N。 德国的变数范围很广。 （保加利亚语） Zbl 0314.02013 上帝。维什。泰克。乌切布。扎韦德。，材料。 8（1972），第2期，49-56（1973）.MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Cimev}，上帝。维什。泰克。乌切布。扎韦德。，材料8，编号2，49-56（1973；Zbl 0314.02013）
克里斯蒂安·赫尔曼 关于子模格的方程理论。 （英语） Zbl 0313.06004号 程序。休斯顿大学，晶格理论会议，休斯顿1973，105-118（1973）。MSC公司：06C05号机组 08B99号 20E15年 03B99号 PDF格式BibTeX公司 XML格式
杰西·斯拉佩基;格雷戈斯·布莱尔 路易斯系统S5的L-可判定性证明。 （英语） Zbl 0313.02012号 螺柱日志。 32, 99-107 (1973).MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Slupecki}和\textit{G.Bryll}，研究日志。32、99-107（1973；Zbl 0313.02012） 全文： 内政部
Ryszard Wojcicki 卢卡西维茨感觉演算结果运算的矩阵表示。 （英语） Zbl 0313.02008号 Z.数学。Logik Grundlagen数学。 19, 239-247 (1973).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Wojcicki}，Z.数学。Logik Grundlagen数学。19、239--247（1973；Zbl 0313.02008） 全文： 内政部
内格鲁，I.S。 关于原始逻辑格的一些基数性质。 （俄语） Zbl 0312.02047号 Mat.Issled公司。 8，第3号（29），161-166（1973）.MSC公司：05年3月 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Negru}，Mat.Issled。8，第3号（29），161--166（1973；Zbl 0312.02047） 全文： 欧洲DML
莱泽克·孔塞维奇 具有恒等式的一阶谓词演算中图类的可定义性。 （英语） Zbl 0312.02044号 螺柱日志。 32, 159-190 (1973).MSC公司：03C60型 03C35号 03B10号机组 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{L.Koncewicz}，螺柱日志。32159--190（1973；Zbl 0312.02044） 全文： 内政部
卡洛斯·艾尔乔伦（Carlos E.Alchourron）。 规范性法律话语的直观背景及其形式化。 （英语） Zbl 0311.02034号 确实是菲洛斯。问题、工具、目标。交响乐。蒙特利尔1971年，181-197年（1973年）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式
伊姆雷·鲁兹萨 对齐诺夫复杂逻辑的评论。 （英语） Zbl 0309.02026号 螺柱日志。 32, 149-158 (1973).MSC公司：03B99 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ruzsa}，螺柱日志。32149--158（1973；Zbl 0309.02026） 全文： 内政部
Sören Stenlund 描述和存在的逻辑。 （英语） Zbl 0309.02012年 费洛索菲斯卡研究所。第18号。瑞典乌普萨拉大学。73页（1973年）。MSC公司：03B99号 03-02 03B10号机组 03F99型 PDF格式BibTeX公司 XML格式
亚历山大·布罗迪 权威：数学逻辑分析。 （英语） Zbl 0308.02031号 逻辑分析。，努夫。Sér。 16, 563-580 (1973).MSC公司：03B99号 91D99型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Broadie}，日志。分析。，努夫。Sér。16563-580（1973年；兹bl 0308.02031）
安德烈·伦斯基 中间逻辑和析取性质。 （英语） Zbl 0308.02027号 代表数学。逻辑 1, 39-51 (1973).MSC公司：03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wronski}，代表数学。逻辑1，39--51（1973；Zbl 0308.02027）
J.C.穆齐奥。 斯科菲尔德条件的必要性。 （英语） Zbl 0308.2019号 Z.数学。Logik Grundlagen数学。 19, 199-204 (1973).MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Muzio}，Z.数学。Logik Grundlagen数学。19、199--204（1973；Zbl 0308.2019） 全文： 内政部
丹尼斯·贝奇奥 蒙泰罗的卢卡西维奇·多内斯三重情人的定义（Sur les dédefinitions des algèbres trivalentes de Lukasiewicz donées par A.Monteiro）。 （法语） Zbl 0307.02040号 逻辑分析。，努夫。Sér。 16, 339-344 (1973).MSC公司：05年3月 03B50号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Becchio｝，日志。分析。，努夫。Sér。16339-344（1973年；兹bl 0307.02040）
乔治·韦弗 关于紧致性和可判定性的一个注记。 （英语） Zbl 0306.02047号 逻辑分析。，努夫。Sér。 16, 315-319 (1973).MSC公司：03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.韦弗}，日志。分析。，努夫。Sér。16、315--319（1973；Zbl 0306.02047）
Derek C.奥本。 普雷斯伯格算法的基本边界。 （英语） Zbl 0306.02044号 程序。ACM交响乐团（第五届）。西奥。计算；奥斯汀1973，34-37（1973）。MSC公司：03B25号 68吨15 PDF格式BibTeX公司 XML格式
考夫曼，A。 引言a théorie des sous-ensemples flus。天才的用法。Tome 1:基础教育。 （法语） Zbl 0302.02023号 巴黎：Masson et Cie，编辑。二十一、 410 p.F 198.00（1973）。MSC公司：03E72型 03-01 03B50号 94立方厘米 94D05型 PDF格式BibTeX公司 XML格式
卡尔·施罗德 直觉主义数学的解读（Hilfe des Beweisbarkeitsbegriff）。 （德语） 兹比尔0302.02007 年鉴爱好者。《芬兰社会》35，222-245（1973）。MSC公司：03B55号 03楼55 03F99型 03A05号 PDF格式BibTeX公司 XML格式
伦纳德·戈达德;理查德·劳特利 意义和语境的逻辑。第1卷。 （英语） Zbl 0302.02004号 爱丁堡-伦敦：苏格兰学术出版社。十、 第641页，11.00英镑（1973年）。MSC公司：03B50号 03-02 03A05号 03B45号 03C80号 03B99号 PDF格式BibTeX公司 XML格式
赫尔穆特·沃尔特 Eine Erweiterung der elementaren Prädikatenlogik，Anwendungen der Arithmetik and anderen mathematischen Theoryen。 （德语） Zbl 0302.02001 Z.数学。Logik Grundlagen数学。 19, 181-190 (1973).MSC公司：03C80 03B25号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wolter}，Z.数学。Logik Grundlagen数学。19、181--190（1973；Zbl 0302.2001） 全文： 内政部
Strazdiņsh，Indulis E。 关于两位布尔函数代数的自同态半群的结构。一、。 （俄语） Zbl 0301.20063号 拉丁美洲。Mat.Ezheg公司。 13, 102-114 (1973).MSC公司：20平方米 20M99型 05年3月 03B05号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{I.E.斯特拉兹迪}，拉脱维亚。Mat.Ezheg公司。13、102--114（1973；Zbl 0301.20063）
G.N.布洛奇纳。;Kudrjavcev，W.B。;G.伯罗斯。 Vollständigkeit für Boolesche Funktitonenüber zwei Dualmengen mit nichtleerem Durchschnitt的问题。一、。 （德语） Zbl 0301.02063号 Z.数学。Logik Grundlagen数学。 19, 163-180 (1973).MSC公司：05年3月 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{G.N.Blochina}等人，Z.数学。Logik Grundlagen数学。19、163--180（1973；Zbl 0301.02063） 全文： 内政部
里斯托·希尔皮宁 关于个人指令的语义。 （英语） Zbl 0301.02026号 哲学年鉴。《芬兰社会》35，140-157（1973）。MSC公司：03B99 03B45号 PDF格式BibTeX公司 XML格式
罗伯特·梅耶（Robert K.Meyer）。;理查德·劳特利 无法确定的相关逻辑。 （英语） Zbl 0301.02024号 Z.数学。Logik Grundlagen数学。 19, 389-397 (1973).MSC公司：03B45号 03B25号 03B99号 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}和\textit{R.Routey}，Z.数学。Logik Grundlagen数学。19、389--397（1973；Zbl 0301.02024） 全文： 内政部
罗伊，B.B。;R.舒克拉。 概率演算的逻辑解释和多值逻辑的推导。 （英语） Zbl 0301.02021号 兰奇大学数学系。J。 4, 11-14 (1973).MSC公司：03B50号 03B99号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.B.Roy}和\textit{R.Shukla}，兰奇大学数学系。J.4，11--14（1973；Zbl 0301.02021）
阿拉斯代尔·厄克哈特 对多值逻辑的解释。 （英语） Zbl 03010.2019号 Z.数学。Logik Grundlagen数学。 19, 111-114 (1973).MSC公司：03B50号 03C99号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart}，Z.数学。Logik Grundlagen数学。19、111--114（1973；Zbl 03010.2019） 全文： 内政部
赫尔穆特·沃尔特 Untersuchungen zum Spektralproblem gewisser Logiken 2。斯图夫。 （德语） Zbl 03010.2015号 Z.数学。Logik Grundlagen数学。 19, 407-410 (1973).MSC公司：03B15号机组 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wolter}，Z.数学。Logik Grundlagen数学。19407--410（1973；Zbl 0301.2015） 全文： 内政部
小野，Hiroakira 中间谓词逻辑语义的不完整性。一： 克里普克的语义学。 （英语） Zbl 0299.02026 程序。日本科学院。 49, 711-713 (1973).MSC公司：03B55号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ono}，程序。日本科学院。49111-713（1973年；兹bl 0299.02026） 全文： 内政部
克里斯特·塞格伯格 弗兰岑对布尔定理的证明。 （英语） Zbl 0299.02021 年鉴爱好者。《芬兰社会》35，216-221（1973）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式
伊万·克拉莫西尔 公式随机序列中可演绎性的统计估计。 （英语） Zbl 0299.02014 通知。理论，统计。决策功能。，随机过程；办理。第六届布拉格会议，1971年，449-463（1973）。MSC公司：03B99号 62页99 PDF格式BibTeX公司 XML格式
赫尔穆特·蒂尔克 数字图形中的Verarbeitung von logischen Ausdrücken。 （德语） Zbl 0299.02006号 Elektron公司。通知-藜芦。凯伯内提克 9, 569-578 (1973).MSC公司：03B05号 03-04 51-04 51M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielcke}，电子。Kybernetik第9569页至第578页信息（1973年；兹bl 0299.02006）
A.普卢哈切克。 Über einige Eigenschaften der Lösungen Boolescher Gleichungen公司。 （德语） Zbl 0298.94049号 威斯。马格德堡Z.技术学院Otto von Guericke 17, 253-255 (1973).MSC公司：94立方厘米 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pluhacek}，威斯康星州。Z.Tech.Hochsch公司。奥托·冯·盖瑞克17，253--255（1973；Zbl 0298.94049）
Girling，B。;莫林，H.G。 逻辑和逻辑设计。 （英语） Zbl 0298.94033号 雄鹿艾尔斯伯里：Intertext图书。七、 328页，5.80英镑（1973年）。MSC公司：94立方厘米 05年3月 03B05号 94-01 03-01 PDF格式BibTeX公司 XML格式
J.Richard，Büchi;德克·西夫克斯 所有可数序数的一元二阶理论。 （英语） Zbl 0298.02050 数学课堂笔记. 328. 可判定理论2。柏林-海德堡-纽约：斯普林格-弗拉格。VI、 217页20.00马克；$7.40 (1973).MSC公司：03B25号 03B15号机组 03-02 05年3月 PDF格式BibTeX公司 XML格式 全文： 内政部
于古瑞奇（Yu Gurevich）。第。 带有一个\（\代表所有\）的公式。 （俄语） Zbl 0298.02049号 伊斯布尔。Voprosy Algebry Logiki，Sbornik posvyashchen。Pamyati A.I.Mal'tseva，97-110（1973）。 审核人：N.两者 MSC公司：03B25号 PDF格式BibTeX公司 XML格式