RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1980
Volume 253,
Number 1,
Pages
48–52
(Mi dan43711)
This article is cited in
1
paper
MATHEMATICS
The consistency of intuitionistic set theory with formal mathematical analysis
V. Kh. Khakhanyan
Moscow State University of Transportation
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 28.02.1980
Fulltext:
PDF file (630 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026