|
Zapiski Nauchnykh Seminarov LOMI, 1968, Volume 8, Pages 260–271
(Mi znsl2269)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
On the disjunctive rank of formulas of constructive arithmetic
G. S. Tseitin
Citation:
G. S. Tseitin, “On the disjunctive rank of formulas of constructive arithmetic”, Studies in constructive mathematics and mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 8, "Nauka", Leningrad. Otdel., Leningrad, 1968, 260–271
Linking options:
https://www.mathnet.ru/eng/znsl2269 https://www.mathnet.ru/eng/znsl/v8/p260
|
Statistics & downloads: |
Abstract page: | 286 | Full-text PDF : | 119 |
|