Значение ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ в математической энциклопедии:
- см. Интуиционистская логика.