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




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