Badaev S.A., Talasbaeva Z.T.


Badaev S.A., Talasbaeva Z.T.
[2006]
Computable numberings in the hierarchy of Ershov
Proc. 9 Asian Logic Conf., (Singapore, 2006), 17-30, World Scientific, Singapore Univ. Press
?
article

Вернуться к поиску