%0 Journal Article %A N. A. Vershinina %T The consistency and the completeness of the constructive theory which contains resources %J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki %D 2007 %P 235-250 %N 1 %U http://geodesic.mathdoc.fr/item/VUU_2007_1_a16/ %G ru %F VUU_2007_1_a16