RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1978
Volume 240,
Number 3,
Pages
549–552
(Mi dan41740)
This article is cited in
2
papers
MATHEMATICS
An undecidable superintuitionistic propositional calculus
V. B. Shehtman
Lomonosov Moscow State University
UDC:
517.11
Presented:
A. N. Kolmogorov
Received: 11.01.1978
Fulltext:
PDF file (509 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (509 kB)