RUS
ENG
Full version
PEOPLE
Rubtsova Natal'ya Mikhailovna
Publications in Math-Net.Ru
Logic of Proofs with Substitution
Mat. Zametki
,
82
:6 (2007),
905–915
©
Steklov Math. Inst. of RAS
, 2024