-
中文图书1.面向计算机科学的数理逻辑.2版 O141/35
馆藏复本:2
可借复本:2 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书2.数理逻辑与机器证明 O141/55
馆藏复本:1
可借复本:1 陆钟万著
科学出版社 1983
(0) 馆藏
馆藏复本:2
可借复本:2 陆钟万著
科学出版社 2002
(0) 馆藏
馆藏复本:1
可借复本:1 陆钟万著
科学出版社 1983
(0) 馆藏