Философские науки > Логика > Дедукция. Дедуктивная логика. Теория дедуктивных умозаключений > Исчисление классов > Логика отношений