%0 Journal Article
%A P. E. Alaev
%T Constructive and Non-Constructive Infinite Formulas in Computable Structures
%J Algebra i logika
%D 2003
%P 391-412
%V 42
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2003_42_4_a0/
%G ru
%F AL_2003_42_4_a0