常,C.C。 Łukasiewicz公理完备性的新证明。 (英语) Zbl 0093.01104号 事务处理。美国数学。Soc公司。 93, 74-80 (1959). PDF格式BibTeX公司 XML格式引用 \textit{C.C.Chang},翻译。美国数学。Soc.93,74-80(1959年;Zbl 0093.01104) 全文: 内政部
南卡罗来纳州克莱恩。 有限类型的递归泛函和量词。一、。 (英语) Zbl 0088.01301 事务处理。美国数学。Soc公司。 91, 1-52 (1959). PDF格式BibTeX公司 XML格式引用 \textit{S.C.Kleene},翻译。美国数学。Soc.91,1-52(1959;Zbl 0088.01301) 全文: 内政部
史蒂文·奥利 高阶谓词演算的模型理论。 (英语) Zbl 0088.01004号 事务处理。美国数学。Soc公司。 92, 72-84 (1959). PDF格式BibTeX公司 XML格式引用 \textit{S.Orey},翻译。美国数学。Soc.92,72-84(1959年;兹bl 0088.01004) 全文: 内政部
赖斯,H.G。 递归和递归可枚举顺序。 (英语) Zbl 0079.24602号 事务处理。美国数学。Soc公司。 83, 277-300 (1956). PDF格式BibTeX公司 XML格式引用 \textit{H.G.Rice},翻译。美国数学。Soc.83277--300(1956年;Zbl 0079.24602) 全文: 内政部
王浩 公理系统的算术翻译。 (英语) Zbl 0043.00903号 事务处理。美国数学。Soc公司。 71, 283-293 (1951). PDF格式BibTeX公司 XML格式引用 \textit{H.Wang},翻译。美国数学。Soc.71283--293(1951;Zbl 0043.00903) 全文: 内政部
爱德华·亨廷顿。 四种主要订单类型之间的相互关系。 (英语) Zbl 0012.14601号 事务处理。美国数学。Soc公司。 38, 1-9 (1935). PDF格式BibTeX公司 XML格式引用 \textit{E.V.Huntington},翻译。美国数学。Soc.38,1--9(1935;Zbl 0012.14601) 全文: 内政部
伯恩斯坦,B.A。 布尔代数中关于“隐含”运算的一组四个假设。 (英语) Zbl 0010.24103号 事务处理。美国数学。Soc公司。 3876-884年(1934年). PDF格式BibTeX公司 XML格式引用 \textit{B.A.Bernstein},翻译。美国数学。Soc.36876--884(1934;Zbl 0010.24103) 全文: 内政部
戴蒙德·A·H。 逻辑代数的怀特黑德-亨廷顿假设集的完整存在论。 (英语) Zbl 0008.09703号 事务处理。美国数学。Soc公司。 35, 940-948 (1933). PDF格式BibTeX公司 XML格式引用 \textit{A.H.Diamond},翻译。美国数学。Soc.35940--948(1933;Zbl 0008.09703) 全文: 内政部
爱德华·亨廷顿。 第二次修正。 (英语) Zbl 0007.38503号 事务处理。美国数学。Soc公司。 35, 971 (1933). PDF格式BibTeX公司 XML格式引用 \textit{E.V.Huntington},翻译。美国数学。Soc.35971(1933年;Zbl 0007.38503) 全文: 内政部
爱德华·亨廷顿。 布尔代数。修正。 (英语) Zbl 0006.38601号 事务处理。美国数学。Soc公司。 35, 557-558 (1933). PDF格式BibTeX公司 XML格式引用 \textit{E.V.亨廷顿},Trans。美国数学。Soc.35557--558(1933年;Zbl 0006.38601) 全文: 内政部
爱德华·亨廷顿。 新的逻辑代数独立假设集,特别参考怀特海和罗素的数学原理。 (英语) Zbl 0006.24204号 事务处理。美国数学。Soc公司。 35, 274-304 (1933). PDF格式BibTeX公司 XML格式引用 \textit{E.V.Huntington},翻译。美国数学。Soc.35274--304(1933;Zbl 0006.24204) 全文: 内政部