TY  - JOUR
AU  - V. S. Sekorin
TI  - On undecidability of unary non-nested PFP-operators for one successor function theory
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 2024
SP  - 89
EP  - 93
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/IVM_2024_4_a8/
LA  - ru
ID  - IVM_2024_4_a8
ER  -