RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1984
Volume 274,
Number 4,
Pages
786–790
(Mi dan9794)
MATHEMATICS
Deductive possibilities of intuitionistic analysis without negation
V. N. Krivtsov
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 14.04.1983
Fulltext:
PDF file (560 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (560 kB)