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



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026