RUS
ENG
Full version
PEOPLE
Baaz Matthias
Publications in Math-Net.Ru
Note on a Translation to Characterize Constructivity
Trudy Mat. Inst. Steklova
,
242
(2003),
136–140
©
Steklov Math. Inst. of RAS
, 2024