Колмогоров и Брауэр о конструктивной импликации и правило противоречия

Дирк Ван Дален, Dirk Van Dalen
2004 Успехи математических наук  
doi:10.4213/rm717 fatcat:t5mw5v2nyzanhj2alwncwuosfi