Обсуждение:Интуиционистская логика

А у Мендельсона 10-я аксиома выглядит так: $\neg A\to (A\to B)$

Это не статья раскрывающая тему. Выглядит как справка. 195.38.22.163 04:40, 28 октября 2015 (UTC)КАА