检索到 13 条 分类号=O143 的结果
-
西文图书1.Математическая обработка опытных данных / P/O143/GAG
馆藏复本：1
可借复本：0 А. Г. Головейко.
Редакционно-издательский отдел БПИ имени И. В. Сталина, 1960.
(0) 馆藏 -
西文图书2.Grundlagen der Mathematik / 2nd ed. O143/HD/(2)/V.1
馆藏复本：1
可借复本：0 D. Hilbert und P. Bernays.
Springer, 1968-70.
(0) 馆藏 -
西文图书3.Choice sequences : a chapter of intuitionistic mathematics / O143/TAS
馆藏复本：3
可借复本：2 by A. S. Troelstra.
Clarendon Press, 1977.
(0) 馆藏 -
中文图书4.预测数学基础 O143/1
馆藏复本：8
可借复本：2 陈玉祥,张汉亚编
中国科技咨询服务中心预测开发公司 1984
(0) 馆藏 -
中文图书5.数学无穷与中介的逻辑基础 O143/6
馆藏复本：2
可借复本：2 朱梧槚著
科学出版社 2012
(0) 馆藏 -
西文图书6.Intuitionism : an introduction / O143/HA
馆藏复本：1
可借复本：1 A.Heyting..
North-Holland Pub. Co., 1956.
(0) 馆藏 -
西文图书7.Solvable cases of the decision problem / O143/AW
馆藏复本：1
可借复本：1 W.Ackermann..
North-Holland Pub. Co., 1954.
(0) 馆藏 -
西文图书8.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / O143/MA
馆藏复本：1
可借复本：1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
西文图书9.Undecidable theories / O143/TA
馆藏复本：2
可借复本：2 by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
[North-Holland Pub. Co.], 1953.
(0) 馆藏 -
中文图书10.预测学.上册 O143/2
馆藏复本：5
可借复本：1 吴慧娟编
北京农业大学出版社 1985
(0) 馆藏 -
中文图书11.数系:从自然数到复数 O143/4
馆藏复本：5
可借复本：2 董延闿编
北京师范大学出版社 1986.2
(0) 馆藏 -
中文图书12.数学基础研究三十年:1930至1964年数理逻辑和数学基础研究发展状况讲演录 O143/3
馆藏复本：5
可借复本：2 (波) 安德热依·莫斯托夫斯基著
华中工学院出版社 1983
(0) 馆藏 -
中文图书13.零分析:数学危机的解脱 O143/5
馆藏复本：3
可借复本：2 孙嘉林著
青岛出版社 1992
(0) 馆藏
