TY  - JOUR
AU  - L. V. Dvorkin
TI  - On provability logics of Niebergall arithmetic
JO  - Izvestiya. Mathematics 
PY  - 2024
SP  - 468
EP  - 505
VL  - 88
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2024_88_3_a2/
LA  - en
ID  - IM2_2024_88_3_a2
ER  -