RUS
ENG
Full version
PEOPLE
Bochernikov Vladimir Yakovlevich
Publications in Math-Net.Ru
On intuitionistic elementary arithmetic
Sibirsk. Mat. Zh.
,
33
:2 (1992),
22–28
©
Steklov Math. Inst. of RAS
, 2024
