Д. Ван Дален, “Колмогоров и Брауэр о конструктивной импликации и правило противоречия”, УМН, 59:2(356) (2004), 53–64; D. Van Dalen, “Kolmogorov and Brouwer on constructive implication and the Ex Falso rule”, Russian Math. Surveys, 59:2 (2004), 247–257
