-
西文图书1.Introduction to the theory of computation. O141.3/E57
馆藏复本:1
可借复本:1 Engeler, Erwin.
Academic Press [1973]
(0) 馆藏 -
西文图书2.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/B724=4
馆藏复本:3
可借复本:3 Boolos, George.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
西文图书3.Subrecursion : functions and hierarchies / O141.3/R795
馆藏复本:2
可借复本:0 Rose, H. E.
Clarendon Press ; 1984.
(0) 馆藏