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

Материал из Википедии — свободной энциклопедии

Перейти к навигации Перейти к поиску

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

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

Источник — https://ru.wikipedia.org/w/index.php?title=Обсуждение:Интуиционистская_логика&oldid=115295282