RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1968
Volume 8,
Pages
260–271
(Mi znsl2269)
This article is cited in
2
papers
On the disjunctive rank of formulas of constructive arithmetic
G. S. Tseitin
Fulltext:
PDF file (420 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (420 kB)