Полиномиальный тезис Чёрча для рефал-5-функций, нормальных алгоритмов и их обобщений. Computer Tools in Education [Internet]. 2014 Jan. 22 [cited 2026 Jul. 25];(5). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1233