RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1980
Volume 251,
Number 3,
Pages
562–565
(Mi dan43457)
MATHEMATICS
Open existence properties for some extensions of the intuitionistic type theory
G. F. Schwartz
Lomonosov Moscow State University
UDC:
517.12
Presented:
A. N. Kolmogorov
Received: 13.11.1979
Fulltext:
PDF file (542 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (542 kB)