-
中文图书1.数理逻辑基础.下册 O141/31/V.2
馆藏复本:3
可借复本:0 胡世华,陆钟万著
科学出版社 1982
(0) 馆藏 -
中文图书2.面向计算机科学的数理逻辑 O141/19
馆藏复本:4
可借复本:1 陆钟万著
北京大学出版社 1989
(0) 馆藏 -
中文图书3.面向计算机科学的数理逻辑 TP301/28
馆藏复本:2
可借复本:2 陆钟万著
科学出版社 1998
(0) 馆藏