类演算

calculus of classes