Ершов Ю.Л. ...


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

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