RUS
ENG
Full version
PEOPLE
Gargov Georgi Kolev
Publications in Math-Net.Ru
Intuitionistic analysis and intermediate logics
Dokl. Akad. Nauk SSSR
,
224
:6 (1975),
1245–1247
©
Steklov Math. Inst. of RAS
, 2024
