RUS
ENG
Full version
PEOPLE
Nikolenko A B
Publications in Math-Net.Ru
Method of invariant transformations and logical deduction
Mat. Zametki
,
36
:1 (1984),
3–15
©
Steklov Math. Inst. of RAS
, 2024