Исчисление Классов

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

Исчисление Высказываний    Исчисление Классов    Исчисление Предикатов