RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1988
Volume 299,
Number 1,
Pages
26–30
(Mi dan7739)
MATHEMATICS
Constructive truth and constructive calculi
A. A. Voronkov
Institute of Mathematics, Siberian Branch of USSR Academy of Sciences, Novosibirsk
UDC:
510.25
+
510.67
Presented:
A. A. Dorodnitsyn
Received: 25.06.1986
Fulltext:
PDF file (354 kB)
English version:
Doklady Mathematics, 1988,
37
:2,
313–316
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (354 kB)