%0 Journal Article %A M. Baaz %T Note on a~Translation to Characterize Constructivity %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 2003 %P 136-140 %V 242 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_2003_242_a10/ %G en %F TM_2003_242_a10