-
中文图书1.数理逻辑引论:计算机科学与系统的天然基础 O141/L984
馆藏复本:6
可借复本:6 刘志明, 裘宗燕编著
科学出版社 2022.10
(0) 馆藏
-
中文图书2.数理逻辑引论 53.31/134
馆藏复本:5
可借复本:5 王宪均著
北京大学出版社 1982.6
(0) 馆藏
-
中文图书3.数理逻辑引论与归结原理.第2版 O141/W351B
馆藏复本:2
可借复本:2 王国俊著
科学出版社 2006
(0) 馆藏