检索到 2 条 责任者=Jeffrey, Richard C. 的结果
-
西文图书1.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141/B724-4
馆藏复本：7
可借复本：6 George S. Boolos, John P. Burgess, Richard C. Jeffrey著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
中文图书2.可计算性与数理逻辑 O141/1069
馆藏复本：5
可借复本：4 (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏
