RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Cucu I V
Публикации в базе данных 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, № 1,
23–30
©
МИАН
, 2024