раздел математической логики, логика классов,представленная (построенная) как исчисление; примерно соответствуетсиллогистике Аристотеля.





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