-
西文图书1.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/E4=4
馆藏复本:1
可借复本:0 George S. Boolos, John P. Burgess, Richard C. Jeffrey 著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏
馆藏复本:1
可借复本:0 George S. Boolos, John P. Burgess, Richard C. Jeffrey 著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏