Описано композиційні системи еквітонних функцій та предикатів. Розглянуто мову пропозиційної логіки, реномінативної неокласичної логіки, а також логіки першого порядку, метод автоморфізмів, теореми про гомоморфізми, повноту і неповноту, компактності.

Описаны композиционные системы эквитонных функций и предикатов. Рассмотрены язык пропозиционной логики, реноминативной неоклассической логики, а также логики первого порядка, метод автоморфизмов, теоремы о гомоморфизмах, полноте и неполноте, компактности.