|
Программные алгебры рекурсивных функций
В. Д. Соловьев
Поступила в редакцию: 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
|
|