%0 Journal Article %A G. S. Tseitin %T On the disjunctive rank of formulas of constructive arithmetic %J Zapiski Nauchnykh Seminarov POMI %D 1968 %P 260-271 %V 8 %U http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a26/ %G ru %F ZNSL_1968_8_a26