Библиография Лаврова И.А.


Horowitz B.M.
[1980]
Constructively nonpartial recursive functions
Notre Dame J. Formal Logic, 21, № 2, 273-276
81.01.43
article

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