RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1986
Volume 291,
Number 6,
Pages
1289–1291
(Mi dan8323)
MATHEMATICS
Superintuitionistic logics that have a provability interpretation
S. N. Artemov
V. A. Steklov Mathematical Institute, USSR Academy of Sciences, Moscow
UDC:
510.65
Presented:
A. N. Kolmogorov
Received: 22.10.1986
Fulltext:
PDF file (459 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (459 kB)