lattice-theoretic logic

Мат. теоретико-решеточная логика