интуиционистское исчисление

Мат. intuitionistic calculus