%0 Journal Article
%T The Vitali covering theorem in constructive mathematics
%A Hannes Diener
%A Anton Hedin
%J Journal of Logic and Analysis
%D 2012
%I Journal of Logic and Analysis
%R 10.4115/jla.v4i0.143
%U http://www.logicandanalysis.org/index.php/jla/article/view/143