-
西文图书1.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理论基 TP301/D263(C=2)
馆藏复本:3
可借复本:3 Davis, Martin,
人民邮电出版社, 2009.
(0) 馆藏 -
西文图书2.Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, Septem O17/C738
馆藏复本:1
可借复本:1 Jens Blanck, Vasco Brattka, Peter Hertling (eds.).
Springer, c2001.
(0) 馆藏 -
中文图书3.可计算性与数理逻辑 O141/49
馆藏复本:3
可借复本:3 (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著
电子工业出版社 2005
(0) 馆藏 -
西文图书4.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/B724=4
馆藏复本:3
可借复本:3 Boolos, George.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
西文图书5.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263
馆藏复本:5
可借复本:5 Davis, Martin,
Academic Press, 1983.
(0) 馆藏 -
西文图书6.Computability : an introduction to recursive function theory / O141.3/C989
馆藏复本:2
可借复本:2 Cutland, Nigel.
Cambridge University Press, 1980.
(0) 馆藏