ИНТУИЦИОНИСТСКАЯ ЛОГИКА

ИНТУИЦИОНИСТСКАЯ ЛОГИКА,
логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
Тегов нет: