проективное исчисление

Мат. projective calculus