В этом томе описывается исчисление высказываний и предикатов, а также приводятся основные свойства классов, отношений и типов. На русском языке.