%0 Journal Article %A A. S. Kuzichev %T Axiomatic theories in combinatorially complete systems %J Doklady Akademii Nauk %D 1982 %P 538-542 %V 264 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1982_264_3_a4/ %G ru %F DAN_1982_264_3_a4