-
中文图书1.可计算性与数理逻辑 O141/B491-2
馆藏复本:2
可借复本:2 (美)George S. Boolos, Jnhn P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏
馆藏复本:2
可借复本:2 (美)George S. Boolos, Jnhn P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏