TY  - JOUR
AU  - T. G. Pshenitsyn
TI  - Closure ordinal of immediate derivability operator of infinitary action logic
JO  - Matematičeskie zametki
PY  - 2024
SP  - 559
EP  - 577
VL  - 116
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MZM_2024_116_4_a5/
LA  - ru
ID  - MZM_2024_116_4_a5
ER  -