-
中文图书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) 馆藏