RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1978
Volume 239,
Number 5,
Pages
1048–1051
(Mi dan41653)
MATHEMATICS
Distinct variants of Kripke's schema in intuitionistic analysis
M. D. Krol'
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 10.12.1977
Fulltext:
PDF file (437 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (437 kB)