检索到 8 条 责任者=陆钟万 的结果
-
中文图书1.初等代数和几何的判定法 O1/504
馆藏复本：1
可借复本：0 (英)A.塔尔斯基(Tarsdi,A.),(英)J.C.C.麦克铿赛(Mckinsey,J.C.C.)著
科学出版社 1959
(0) 馆藏 -
中文图书2.面向计算机科学的数理逻辑 O141/37
馆藏复本：1
可借复本：0 陆钟万著
科学出版社 1998
(0) 馆藏 -
中文图书3.数理逻辑基础 O141/29:1
馆藏复本：1
可借复本：0 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书4.面向计算机科学的数理逻辑 O141/25
馆藏复本：1
可借复本：0 陆钟万著
北京大学出版社 1989.11
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑.2版 O141/21
馆藏复本：22
可借复本：22 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书6.数理逻辑与机器证明 O141/11
馆藏复本：1
可借复本：0 陆钟万著
科学出版社 1983
(0) 馆藏 -
中文图书7.数理逻辑基础.下 O141/4:2
馆藏复本：5
可借复本：5 胡世华, 陆钟万著
科学出版社 1982
(0) 馆藏 -
中文图书8.数理逻辑基础.上 O141/4:1
馆藏复本：6
可借复本：5 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏
