RUS
ENG
Full version
PEOPLE
Japaridze Giorgi K
Publications in Math-Net.Ru
Effective predicate logics of provability
Dokl. Akad. Nauk SSSR
,
297
:3 (1987),
521–523
©
Steklov Math. Inst. of RAS
, 2024