-
中文图书1.逻辑、信息和互动 B815.1/F07
馆藏复本:6
可借复本:6 (荷)约翰·范本特姆著
科学出版社 2008
(0) 馆藏 -
中文图书2.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49#1
馆藏复本:1
可借复本:1 陈慕泽,余俊伟著
中国人民大学出版社 2003
(0) 馆藏 -
中文图书3.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49#2
馆藏复本:2
可借复本:2 陈慕泽,余俊伟著
中国人民大学出版社 2003
(0) 馆藏 -
中文图书4.数理逻辑基础:一阶逻辑与一阶理论 O141-43/C49
馆藏复本:5
可借复本:5 陈慕泽,余俊伟著
中国人民大学出版社 2003
(0) 馆藏