logic of relations

Мат. логика отношений