RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1977
Volume 234,
Number 4,
Pages
750–753
(Mi dan41016)
MATHEMATICS
Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme
M. D. Krol'
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 20.01.1977
Fulltext:
PDF file (441 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (441 kB)