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

Мат. intuitionistic calculus

Источник: Полный русско-английский словарь на Gufo.me