Skolem T. ...


Skolem T.
[1962]
Recursive enumeration of some classes of primitive recursive functions and majorisation theorem
Kon. Nors. Vid., Sel., Forh., 35, № 26, 142-148
64.01.11
article

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