RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1990
Volume 314,
Number 1,
Pages
32–36
(Mi dan6442)
This article is cited in
2
papers
MATHEMATICS
On the axiomatization of realizable propositional formulas
F. L. Varpakhovskii
Moscow State Pedagogical Correspondence Institute
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 14.07.1989
Fulltext:
PDF file (298 kB)
Cited by
English version:
Doklady Mathematics, 1991,
42
:2,
260–264
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (298 kB)