О компании

Представляется логичным что исчисление предикатов раскладывает на элементы примитивный мир