-
西文图书1.Induction, recursion, and programming / TP31/W245
馆藏复本:2
可借复本:2 Wand, Mitchell.
North Holland, c1980.
(0) 馆藏
-
西文图书2.Computability : an introduction to recursive function theory / O141.3/C989
馆藏复本:2
可借复本:2 Cutland, Nigel.
Cambridge University Press, 1980.
(0) 馆藏
-
西文图书3.Subrecursion : functions and hierarchies / O141.3/R795
馆藏复本:2
可借复本:0 Rose, H. E.
Clarendon Press ; 1984.
(0) 馆藏