-
中文图书1.函数构造论.上册 51.31/53151.31、532
馆藏复本:1
可借复本:1 (苏)纳唐松( Натансон, И. П.)著; 何旭初, 唐述钊译
科学出版社 1958
(0) 馆藏
-
中文图书2.函数构造论.下册 51.31/531
馆藏复本:2
可借复本:2 (苏)纳唐松( Натансон, И. П.)著; 何旭初, 唐述钊译
科学出版社 1959
(0) 馆藏
-
中文图书3.数理逻辑初步 51.31/151
馆藏复本:5
可借复本:5 莫绍揆著
上海人民出版社 1980.8
(0) 馆藏
-
中文图书4.GEB——一条永恒的金带 51.31/441
馆藏复本:5
可借复本:5 乐秀成编译
四川人民出版社 1984.1
(0) 馆藏
-
中文图书5.数理逻辑导引 51.31/525
馆藏复本:3
可借复本:3 张尚水著
社会科学出版社 1990.4
(0) 馆藏
-
中文图书6.数理逻辑基础.上册 O141/H749/1, 51.3/114
馆藏复本:10
可借复本:10 胡世华, 陆钟万著
科学出版社 1981~1982
(0) 馆藏
-
中文图书7.非线性振动理论中的渐近方法 51.31033/4153
馆藏复本:1
可借复本:1 (苏)包戈留包夫,Н.Н.(苏)米特罗波尔斯基,Ю.А.著
上海科学技术出版社 1963
(0) 馆藏
-
中文图书8.递归函数论 51.311/2214
馆藏复本:2
可借复本:2 ( )培特(Peter,R.)著
科学出版社 1958
(0) 馆藏
-
西文图书9.Mathematical logic 51.31
馆藏复本:5
可借复本:5 Shoenfield, Joseph R.
Addison-Wesley Pub. Co. [1967]
(0) 馆藏
-
西文图书10.The eighth International Symposium on multiple-valued logic 51.31083
馆藏复本:1
可借复本:1
1978
(0) 馆藏
-
中文图书11.数学逻辑引论 O141/Z222
馆藏复本:1
可借复本:1 王宪钧著
北京大学出版社 1982
(0) 馆藏