-
中文图书1.面向计算机科学的数理逻辑.2版 TP301.6/10=2
馆藏复本:13
可借复本:11 陆钟万著
科学出版社 2002
(0) 馆藏
-
中文图书2.面向计算机科学的数学逻辑 TP301.6/10
馆藏复本:5
可借复本:4 陆钟万著
科学出版社 1998.1
(0) 馆藏
-
中文图书3.数理逻辑与机器证明 O141/10
馆藏复本:7
可借复本:6 陆钟万著
科学出版社 1983.11
(0) 馆藏
-
中文图书4.面向计算机科学的数理逻辑 O141/12
馆藏复本:5
可借复本:5 陆钟万著
北京大学出版社 1989.11
(0) 馆藏