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


Grilliot T.
[1969]
Selection functions for recursive functionals
Notre Dame J. Formal Logic, 10, № 3 , 225-234
70.04.70
article

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