%0 Journal Article %A M. A. Taitslin %T The effective non-separability of the set of identically true %J Algebra i logika %D 1962 %P 24-38 %V 1 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1962_1_3_a2/ %G ru %F AL_1962_1_3_a2