-
中文图书1.错误逻辑 O141/59
馆藏复本:3
可借复本:3 郭开仲著
科学出版社 2008
(0) 馆藏 -
中文图书2.数理逻辑 O141/56
馆藏复本:3
可借复本:3 邢滔滔著
北京大学出版社 2008
(0) 馆藏 -
中文图书3.可计算性与数理逻辑 O141/49
馆藏复本:3
可借复本:3 (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏 -
中文图书4.数理逻辑教程 O141-43/1
馆藏复本:6
可借复本:1 莫绍揆著
华中工学院出版社 1982
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑.第2版 O141-43/2=2
馆藏复本:6
可借复本:2 陆钟万著
科学出版社 2002
(0) 馆藏