логико-математичес-кое исчисление

Мат. logic-mathematical calculus