RUS  ENG
Full version
PEOPLE

Cucu I V

Publications in Math-Net.Ru

  1. 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