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