VZDUCHOTORG, spol. s r.o.

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