罗伯特·莱德利。 数字逻辑机的数学基础和计算方法。 （英语） Zbl 1415.03038号 操作。物件。 2，第3号，249-274（1954）.MSC公司：03B70号 03B05号 05年3月 94立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{R.S.莱德利}，Oper。第2号决议，第3号，249--274（1954年；Zbl 1415.03038） 全文： 内政部
J.卡林诺夫斯基。 规范命题理论。（规范命题理论。） （法语） Zbl 1368.03006号 双头螺栓日志。 1, 147-182 (1954).MSC公司：03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kalinowski}，研究日志。1147--182（1954年；Zbl 1368.03006） 全文： 内政部
亨利克·格雷涅夫斯基 反对广场——一种新方法。 （波兰语、俄语）。英文摘要） Zbl 0059.01407号 螺柱日志。1, 276-297 (1954).MSC公司：03B05号 PDF格式BibTeX公司 XML格式
弗雷德里克·菲奇。 扩展基本逻辑中否定的定义。 （英语） Zbl 0059.01406号 J.塞姆。日志。 19, 29-36 (1954).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.B.Fitch}，J.Symb。日志。19、29——36（1954年；Zbl 0059.01406） 全文： 内政部
杰日·卡林诺夫斯基 命题规范论。 （波兰语、法语）。俄语摘要） Zbl 0059.01405号 螺柱日志。1, 113-184 (1954).MSC公司：03B05号 PDF格式BibTeX公司 XML格式
朱利叶斯·赖赫巴赫 AU ber den auf Alternative und Negation aufgebauten Aussagenkalkül.选择和否定。 （德语。波兰语、俄语摘要） Zbl 0059.01404号 双头螺栓日志。 1, 13-18 (1954).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Reichbach}，研究日志。1、13--18（1954年；Zbl 0059.01404） 全文： 内政部
杰西·Słupecki 这是一个关于Aussagenkalküls的规则。 （德语。波兰语、俄语摘要） Zbl 0059.01403号 双头螺栓日志。 1, 19-43 (1954).MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Słupecki}，研究日志。1、19-43（1954年；Zbl 0059.01403） 全文： 内政部
约翰·斯通（Henry W.jun Johnstone）。 基本演绎逻辑。 （英语） Zbl 0059.01401号 纽约：Thomas Y.Crowell Co.viii，241 p.（1954）。MSC公司：03-01 03年2月22日 PDF格式BibTeX公司 XML格式
杰西·Słupecki [列希涅夫斯基，斯坦尼斯·艾] St.Leśniewski的原材料学。 （英语。波兰语、俄语摘要） Zbl 0059.01209 双头螺栓日志。 1, 44-112 (1954). 审核人：J.诉肯普斯基案 MSC公司：03B10号机组 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Słupecki}，研究日志。1、44-112（1954年；Zbl 0059.01209） 全文： 内政部
欧文·M·科皮。 逻辑导论。 （英语） Zbl 0057.00501号 纽约：麦克米伦公司xvi，427 p.（1954）。MSC公司：03-01 03A05号 03B05号 03B10号机组 03B48号 PDF格式BibTeX公司 XML格式