|
Алгебра и логика, 1972, том 11, номер 4, страницы 367–437
(Mi al1343)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 4 статьях)
Вычислимые функционалы конечных типов
Ю. Л. Ершов
Образец цитирования:
Ю. Л. Ершов, “Вычислимые функционалы конечных типов”, Алгебра и логика, 11:4 (1972), 367–437
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1343 https://www.mathnet.ru/rus/al/v11/i4/p367
|
Статистика просмотров: |
Страница аннотации: | 141 | PDF полного текста: | 52 |
|