-
西文图书1.Abstract recursion and intrinsic complexity / O141.3/M896
馆藏复本:1
可借复本:0 Yiannis N. Moschovakis, University of California, Los Angeles, and University of Athens.
(0) 馆藏
-
西文图书2.Computability in context : computation and logic in the real world / O141.3/C777
馆藏复本:1
可借复本:0 edited by S. Barry Cooper & Andrea Sorbi.
World Scientific, c2011.
(0) 馆藏