RUS
ENG
Full version
PEOPLE
Vladimirov Aleksei Germanovich
Publications in Math-Net.Ru
Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
Mat. Zametki
,
89
:5 (2011),
658–672
©
Steklov Math. Inst. of RAS
, 2024
