%0 Journal Article %A I. A. Lavrov %T The effective non-separability of the set of identically true %J Algebra i logika %D 1963 %P 5-18 %V 2 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1963_2_1_a0/ %G ru %F AL_1963_2_1_a0