Числення класів

розділ символічної логіки, в якому досліджуються логічні властивості та операції над двомісними, тримісними та іншими відношеннями