RUS
ENG
Full version
PEOPLE
Falevich B Ya
Publications in Math-Net.Ru
A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of interrelation between classical and constructive analyses
Dokl. Akad. Nauk SSSR
,
120
:6 (1958),
1210–1213
On a problem of N. N. Luzin
Uch. Zap. Mosk. Gos. Univ.
,
181
(1956),
165–173
©
Steklov Math. Inst. of RAS
, 2024