RUS
ENG
Full version
PEOPLE
Sotirov Vladimir Khristov
Publications in Math-Net.Ru
Nonfinitely approximable intuitionistic modal logics
Mat. Zametki
,
27
:1 (1980),
89–94
©
Steklov Math. Inst. of RAS
, 2024