%0 Journal Article
%A V. S. Sekorin
%T On undecidability of unary non-nested PFP-operators for one successor function theory
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 2024
%P 89-93
%N 4
%U http://geodesic.mathdoc.fr/item/IVM_2024_4_a8/
%G ru
%F IVM_2024_4_a8