RUS
ENG
Full version
PEOPLE
Cucu I V
Publications in Math-Net.Ru
A test for completeness with respect to implicit reducibility in the chain super-intutionistic logics
Bul. Acad. Ştiinţe Repub. Mold. Mat.
, 2006, no. 1,
23–30
©
Steklov Math. Inst. of RAS
, 2024