RUS
ENG
Full version
PEOPLE
Dvorkin Lev Veniaminovich
Publications in Math-Net.Ru
On provability logics of Niebergall arithmetic
Izv. RAN. Ser. Mat.
,
88
:3 (2024),
61–100
©
Steklov Math. Inst. of RAS
, 2025
