|
Программные алгебры рекурсивных функций
В. Д. Соловьев
Поступила в редакцию: 02.11.1994
Образец цитирования:
В. Д. Соловьев, “Программные алгебры рекурсивных функций”, УМН, 51:4(310) (1996), 125–144; Russian Math. Surveys, 51:4 (1996), 705–722
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm996https://doi.org/10.4213/rm996 https://www.mathnet.ru/rus/rm/v51/i4/p125
|
Статистика просмотров: |
Страница аннотации: | 374 | PDF русской версии: | 206 | PDF английской версии: | 12 | Список литературы: | 50 | Первая страница: | 1 |
|