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