Интуиционистское Исчисление Предикатов

См. Интуиционистская логика.

Источник: Математическая энциклопедия на Gufo.me