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





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