露丝·C·巴坎。 二阶严格泛函演算中的个体身份。 (英语) 兹比尔1263.03012 J.塞姆。日志。 12, 12-15 (1947).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Barcan},J.Symb(J.塞姆)。日志。12、12--15(1947年;Zbl 1263.03012) 全文: DOI程序
Destouches-Février、Paulette 高等数学直觉主义者是积极的。 (法语) Zbl 0035.14902号 C.R.学院。科学。,巴黎 225, 1241-1243 (1947). 审核人:阿诺德·施密特(哥廷根) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Destouches-Février},C.R.学院。科学。,巴黎2251241-1243(1947;Zbl 0035.14902)
van Dantzig,D。 直觉数学和肯定数学的原理。一、 二、。 (英语) Zbl 0035.14901号 程序。阿卡德。潮湿。阿姆斯特丹 50, 918-929 (1947); 50, 1092-1103 (1947). 审核人:阿诺德·施密特(哥廷根) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dantzig},程序。阿卡德。潮湿。阿姆斯特丹50918--9291092--1103(1947;Zbl 0035.14901)
E.W.贝思。 直觉数学的语义思考。 (英语) 兹伯利0035.14814 程序。阿卡德。潮湿。阿姆斯特丹 50, 1146-1251 (1947). 审核人:阿诺德·施密特(哥廷根) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Beth},程序。阿卡德。潮湿。阿姆斯特丹501146-1251(1947;Zbl 0035.14814)