RUS
ENG
Full version
JOURNALS
// Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
// Archive
Uchenye Zapiski Kazanskogo Universiteta,
1969
Volume 129,
Book 4,
Pages
21–31
(Mi uzku15)
The strengthening of formulae that are provable in propositional calculus
N. K. Zamov
,
V. I. Sharonov
Fulltext:
PDF file (1612 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (1612 kB)