费斯，罗伯特 实验的可验证性表达形式化。 （法语） Zbl 0101.01103号 国际自然恢复中心座谈会。科学。70，109-114，干预114-115（1958）。 PDF格式BibTeX公司 XML格式
杰文斯，W.斯坦利 [欧内斯特·内格尔] 科学原理。关于逻辑和科学方法的论文。欧内斯特·内格尔（Ernest Nagel）的新介绍。最新版本（1877年）的未删节和未更改的再版。 （英语） Zbl 0099.00503号 纽约：Dover Publications，Inc.liii，786 p.（1958）。 审核人：G.H.米勒 MSC公司：00A30型 03A05号 00-02 03-02 PDF格式BibTeX公司 XML格式
诺维科夫，P.S。 关于群论中单词问题的算法不可解性。 （英语。俄文原件） Zbl 0093.01304号 美国数学。Soc.、Transl.、。，二、。序列号。 9, 1-122 (1958). PDF格式BibTeX公司 XML格式引用 \textit{P.S.Novikov}，翻译。，序列号。2，美国数学。Soc.9，1--122（1958；Zbl 0093.01304） 全文： DOI程序 反向链接： 卫生官员
Th.斯科勒姆。 将带有公理方案的公理系统简化为只有简单公理的系统。 （英语） Zbl 0093.01201号 辩证逻辑 12, 443-450 (1958). PDF格式BibTeX公司 XML格式引用 \textit{Th.Skolem}，Dialectica 12，443--450（1958；Zbl 0093.01201） 全文： DOI程序
M.Kondó。 数学分析基金会和数学分析基金会。一、。 （法语） 兹比尔0093.01001 日本。数学杂志。 28, 1-116 (1958). PDF格式BibTeX公司 XML格式引用 \文本{M.Kondó}，Jpn。数学杂志。28、1--116（1958年；Zbl 0093.01001）
科加洛夫斯基，S.R。 关于代数的泛类。 （俄语） Zbl 0089.24602号 多克。阿卡德。瑙克SSSR 122, 759-761 (1958). PDF格式BibTeX公司 XML格式引用 \textit{S.R.Kogalovskij}，多克。阿卡德。诺克SSSR 122，759--761（1958；Zbl 0089.24602）
海廷，A。 沃特直觉主义。 （德语） Zbl 0089.24502号 辩证逻辑 12, 332-345 (1958). PDF格式BibTeX公司 XML格式引用 \textit{A.Heyting}，Dialectica 12，332--345（1958；Zbl 0089.24502） 全文： DOI程序
威利·谢尔 《Geometrie und Erkenntnistheorie.Réponse de M.F.GonsetháM.W.Scherrer》。 （德语） Zbl 0089.24306号 辩证逻辑 12, 185-196, 197-199 (1958). PDF格式BibTeX公司 XML格式引用 \textit｛W.Scherrer｝，《辩证法》12185-196197-199（1958年；Zbl 0089.24306） 全文： DOI程序
A.莱维。 有限性的各种定义的独立性。 （英语） Zbl 0089.00702号 芬丹。数学。 46, 1-13 (1958). PDF格式BibTeX公司 XML格式引用 \textit{A.Lévy}，Fundam。数学。46，1-13（1958年；Zbl 0089.00702） 全文： DOI程序 欧洲DML
欧文·M·科皮。；卡尔文·艾尔戈特（Calvin C.Elgot）。；Jesse B.赖特。 通过逻辑网络实现事件。 （英语） Zbl 0088.01901号 J.协会计算。机器。 5, 181-196 (1958). PDF格式BibTeX公司 XML格式引用 \textit{I.M.Copi}等人，J.协会计算。机器。5、181--196（1958年；Zbl 0088.01901） 全文： DOI程序
乔治·兰尼（George N.Raney）。 顺序功能。 （英语） Zbl 0088.01801 J.协会计算。机器。 5, 177-180 (1958). PDF格式BibTeX公司 XML格式引用 \textit{G.N.Raney}，J.协会计算。机器。5177-180（1958年；Zbl 0088.01801） 全文： DOI程序
弗雷德里克·菲奇。 从抽象和分离的角度对存在的定义。 （英语） Zbl 0088.01201号 J.塞姆。日志。 343-344年（1958年）. PDF格式BibTeX公司 XML格式引用 \textit{F.B.Fitch}，J.Symb。日志。22343--344（1958年；Zbl 0088.01201） 全文： DOI程序
西科尔斯基，R。 关于赫布兰德定理。 （英语） Zbl 0088.01003号 集体数学。 6, 55-58 (1958). PDF格式BibTeX公司 XML格式引用 \textit{R.Sikorski}，《大学数学》。6、55-58（1958年；Zbl 0088.01003） 全文： DOI程序 欧洲DML
古德斯坦，R.L。 递归算法中的命题计算模型。 （英语） Zbl 0088.01001号 数学。扫描。 6, 293-296 (1958). PDF格式BibTeX公司 XML格式引用 \textit{R.L.Goodstein}，数学。扫描。6293--296（1958年；Zbl 0088.01001） 全文： DOI程序 欧洲DML
弗朗西斯科·塞西奥尼 Lezioni sui fondamenti della matematica公司。第1卷。问题概述。 （意大利语） Zbl 0088.00903号 帕多瓦：CEDAM。八、 第145页（1958年）。 PDF格式BibTeX公司 XML格式
吉莫纳，卢多维奇 逻辑数学代数模型。 （意大利语） Zbl 0086.0609号 Conf.Semin公司。Mat.Univ.Bari 37，20 p.（1958）。MSC公司：03-03 03Gxx公司 PDF格式BibTeX公司 XML格式
达科斯塔，牛顿·卡内罗·阿方索 《数学哲学的碎片》。 （葡萄牙语） Zbl 0085.24103号 Anuário Soc.Paranaense Mat.，II号。Sér。1, 21-27 (1958).MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式
达科斯塔，牛顿·卡内罗·阿方索 Bemerkungen zum Begriff des Widerspruchs公司。 （葡萄牙语） Zbl 0085.24102号 Anuário Soc.Paranaense Mat.，II号。Sér。1, 6-8 (1958).MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式
Koursanov，G.A。 《公共政策建议》（propos du prétendu，critère logique de la ve rité）。 （法语） Zbl 0083.00103号 加利福尼亚州立大学巴洪·布库雷分校。逻辑学报 1, 19-23 (1958).MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Koursanov}，安大略大学C.I.Parhon București，Ser。逻辑学报1，19-23（1958年；兹bl 0083.00103）
阿萨纳塞·乔亚 马克思与现代逻辑。 （法语） Zbl 0083.00102号 加利福尼亚州立大学巴洪·布库雷分校。逻辑学报 1, 7-18 (1958).MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Joja}，安大略大学C.I.Parhon București，Ser。《逻辑学报》1，7--18（1958；Zbl 0083.00102）
你好，H。 关于翻译公理的警告。 （英语） Zbl 0082.01504号 美国数学。周一。 65, 613-614 (1958).MSC公司：03A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hiż}，美国数学。周一。65、613--614（1958年；Zbl 0082.01504） 全文： DOI程序
哈斯克尔·柯里。；费斯，罗伯特 [威廉·克雷格] 组合逻辑。威廉·克雷格（William Craig）的两篇文章。 （英语） Zbl 0081.24104号 (逻辑与数学基础研究阿姆斯特丹：北荷兰出版公司。十六、 第417页（1958年）。MSC公司：03-02 03B40型 PDF格式BibTeX公司 XML格式
丹尼尔·拉科姆 Les集合了你的草书、你的弗梅斯以及你的应用程序，如l'Analysis草书。 （法语） 兹比尔0080.24402 C.R.学院。科学。，巴黎 246, 28-31 (1958). PDF格式BibTeX公司 XML格式引用 \textit{D.Lacombe}，C.R.学院。科学。，巴黎246，28-31（1958；Zbl 0080.24402）
莫少奎 具有有限模态数的模态系统。 （英语） Zbl 0080.24202号 科学。罪。 7, 388-412 (1958). PDF格式BibTeX公司 XML格式引用 \textit{S.-k.Moh}，科学。罪恶。7388-412（1958年；Zbl 0080.24202）
巴迪略·巴拉特（Badillo Barallat）、玛丽亚·德·拉·辛塔（Maria de la Cinta） Eine Anwendung der mehrwertigen Logik auf die Zahlenthorie公司。 （西班牙语） Zbl 0080.24201号 盖克。马特，马德里 10, 76-81 (1958). PDF格式BibTeX公司 XML格式引用 \textit{M.de la C.Badillo Barallat}，乔治亚州。马特，马德里10，76--81（1958；Zbl 0080.24201） 全文： 欧洲DML
诺维科夫，P.S。；Adjan，S.I.公司。 半截根问题是一个大问题。 （俄语。德语摘要） Zbl 0080.24102号 Z.数学。Logik Grundlagen数学。 4, 66-88 (1958). PDF格式BibTeX公司 XML格式引用 \textit｛P.S.Novikov｝和\textit｛S.I.Adjan｝，Z.数学。Logik Grundlagen数学。4、66-88（1958年；Zbl 0080.24102） 全文： DOI程序
约阿希姆·兰贝克 句子结构的数学。 （英语） Zbl 0080.00702号 美国数学。周一。 65154-170（1958年）.MSC公司：03B65型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lambek}，美国数学。周一。65、154--170（1958年；Zbl 0080.00702） 全文： DOI程序
迈克尔·奥·拉宾。 群论问题的递归不可解性。 （英语） Zbl 0079.24802 安。数学。（2） 67, 172-194 (1958). PDF格式BibTeX公司 XML格式引用 \textit{M.O.拉宾}，安.数学。（2） 67172-194（1958年；Zbl 0079.24802） 全文： DOI程序
贴纸，伯恩哈德 Zeitmass和Zeitmessung。 （德语） Zbl 0079.00607号 Studium generale 11，35-47（1958）。 PDF格式BibTeX公司 XML格式
F.Gonseth。 La géométrie et le problemème de l’espace。 （法语） Zbl 0078.00414号 通用研究室11，108-115（1958）。 PDF格式BibTeX公司 XML格式
盖西·塔库蒂 关于（GLC）基本猜想的注记。 （英语） Zbl 0075.23403号 数学杂志。Soc.日本 10, 44-45 (1958). PDF格式BibTeX公司 XML格式引用 \textit{G.Takeuti}，J.数学。日本社会委员会10，44-45（1958；Zbl 0075.23403） 全文： DOI程序
盖西·塔库蒂 关于序数图的形式理论。 （英语） Zbl 0075.23402号 安。日本人。菲洛斯协会。科学。 1, 151-170 (1958). PDF格式BibTeX公司 XML格式引用 \textit{G.Takeuti}，Ann.日本哲学协会。科学。151-170（1958年；Zbl 0075.23402） 全文： DOI程序
盖西·塔库蒂 关于（GLC）的基本猜想。五、。 （英语） Zbl 0075.23304号 数学杂志。Soc.日本 10, 121-134 (1958). PDF格式BibTeX公司 XML格式引用 \textit{G.Takeuti}，J.数学。日本社会委员会10，121--134（1958；Zbl 0075.23304） 全文： DOI程序