%0 Journal Article %A M. G. Peretyat'kin %T Strongly constructive models and enumerations of the Boolean %J Algebra i logika %D 1971 %P 535-557 %V 10 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1971_10_5_a4/ %G ru %F AL_1971_10_5_a4