@article{AL_2003_42_4_a0,
     author = {P. E. Alaev},
     title = {Constructive and {Non-Constructive} {Infinite} {Formulas} in {Computable} {Structures}},
     journal = {Algebra i logika},
     pages = {391--412},
     publisher = {mathdoc},
     volume = {42},
     number = {4},
     year = {2003},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2003_42_4_a0/}
}