鲁斯·巴坎·马库斯 严格蕴涵、演绎和演绎定理。 （英语） Zbl 0053.34103号 J.塞姆。日志。 18, 234-236 (1953). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于7文件 关键词：哲学与数学基础 PDF格式BibTeX公司 XML格式引用 \文本{R.B.Marcus}，J.Symb。日志。18、234--236（1953；Zbl 0053.34103） 全文： 内政部 参考文献： [1] Lewis和Heyting 13 pp 5–（1948）句子计算的几个定理·Zbl 0037.29409号 [2] 基于严格蕴涵的一阶泛函演算中的演绎定理11 pp 115–（1946）·Zbl 0063.00206号 [3] 模式和量化11第56页–（1946） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。