логика, удовлетворяющая интуиционистскимтребованиям к математическим рассуждениям.






Ссылка на выделенный текст