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


Ершов Ю.Л.
[1972]
Вычислимые функционалы конечных типов
Алгебра и логика, 11, № 4, 367-437
73.08.54
EO
статья

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