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

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