-
中文图书1.数理逻辑基础 O141/4742
馆藏复本:16
可借复本:14 胡世华, 陆钟万著
科学出版社 1981-1982
(0) 馆藏 -
中文图书2.数理逻辑与机器证明 O141/7581/ 1
馆藏复本:5
可借复本:4 陆钟万著
科学出版社 1983
(0) 馆藏 -
中文图书3.面向计算机科学的数理逻辑 O141/7581
馆藏复本:8
可借复本:7 陆钟万著
北京大学出版社 1989
(0) 馆藏 -
中文图书4.面向计算机科学的数理逻辑.第2版 O141/7581/ 1-2
馆藏复本:7
可借复本:6 陆钟万著
科学出版社 2002
(0) 馆藏