Shepherdson J.C. ...


Shepherdson J.C.
[1985]
Algotithmic procedures, generalized Turing algorithms, and elementary Recursion Theory
Harvey Fridman’s Res. Found. Math., Amsterdam, 285-308
87.Г1.39
O
article

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