%0 Journal Article
%A I. A. Kazakov
%T A formalization of the Codd algebra operations in logic $\mathcal{SHOIN}(D)$
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2011
%P 68-73
%V 4
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2011_4_3_a5/
%G ru
%F IIGUM_2011_4_3_a5