Scott D. ...

Новости

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

20 Сентября, 2023 Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году

08 Сентября, 2023 Напоминаем, что в Москве начались выборы Мэра

Scott D.

[1975]

Lambda Calculus and Recursion Theory

Proc. III Scan. Logic Symp., North-Holland, 154-193

?

O

article

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