%0 Journal Article
%A D. Van Dalen
%T Kolmogorov and Brouwer on constructive implication and the Ex Falso rule
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2004
%P 247-257
%V 59
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2004_59_2_a3/
%G en
%F RM_2004_59_2_a3