Byerly R.E.

Новости

17 Октября, 2025 Конкурс на замещение должности

10 Октября, 2025 Защита диссертаций

26 Сентября, 2025 Защита диссертаций

Byerly R.E.

[1982]

Recursion theory and the lambda-calculus

J. Symbolic Logic, 47, № 1, 67-83

82.08.56

article

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