Интуиционистское Арифметическое Исчисление См. Интуиционизм. Источник: Математическая энциклопедия на Gufo.me Предложить изменения Интуиционистская Логика Интуиционистское Исчисление Высказываний