Исчисление Классов
Исчисление Классов в Энциклопедическом словаре:
Исчисление Классов - раздел математической логики, логика классов,представленная (построенная) как исчисление; примерно соответствуетсиллогистике Аристотеля.
Исчисление Высказываний
Исчисление Классов
Исчисление Предикатов