检索到 8 条 责任者=陆钟万 的结果
-
中文图书1.数理逻辑基础.上 O141/442/3
馆藏复本：1
可借复本：0 胡世华, 陆钟万著
科学出版社 1981
(0) 馆藏 -
中文图书2.数理逻辑基础.下册 O141/442/3:V2
馆藏复本：1
可借复本：0 胡世华, 陆钟万著
科学出版社 1981
(0) 馆藏 -
中文图书3.数理逻辑基础.上册.[影印版] O141/442/2
馆藏复本：2
可借复本：2 胡世华, 陆钟万著
科学出版社 2015
(0) 馆藏 -
中文图书4.数理逻辑与机器证明 O141/781
馆藏复本：14
可借复本：0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑 TP301.6/781
馆藏复本：20
可借复本：0 陆钟万著
科学出版社 1998.1
(0) 馆藏 -
中文图书6.面向计算机科学的数理逻辑 O141/781.2*1
馆藏复本：5
可借复本：0 陆钟万著
科学出版社 2002.1
(0) 馆藏 -
中文图书7.面向计算机科学的数理逻辑 O141/781.2
馆藏复本：6
可借复本：0 陆钟万著
北京大学出版社 1983.11
(0) 馆藏 -
中文图书8.面向计算机科学的数理逻辑 TP30/781
馆藏复本：2
可借复本：0 陆钟万著
科学出版社 1998.1
(0) 馆藏
