检索到 6 条 责任者=陆钟万 的结果
-
中文图书1.数理逻辑基础.上册 O141/H749/1, 51.3/114
馆藏复本：10
可借复本：10 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书2.数理逻辑与机器证明 73.87081/133, O141/L995-2
馆藏复本：7
可借复本：7 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书3.面向计算机科学的数理逻辑 O141/L995
馆藏复本：2
可借复本：2 陆钟万著
北京大学出版社 1989
(0) 馆藏 -
中文图书4.面向计算机科学的数理逻辑.2版 O141/L995B
馆藏复本：5
可借复本：5 陆钟万著
科学出版社 2002.1
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑 73.87/541Q1
馆藏复本：5
可借复本：5 陆钟万著
北京大学出版社 1989.11
(0) 馆藏 -
中文图书6.数理逻辑基础.下册 51.3/114Q1
馆藏复本：10
可借复本：10 胡世华，陆钟万著
科学出版社 1982.8
(0) 馆藏
