ТЕОРЕТИКО-РЕШЕТОЧНАЯ ЛОГИКА Русско-английский перевод ТЕОРЕТИКО-РЕШЕТОЧНАЯ ЛОГИКА мат. lattice-theoretic logic Большой Русско-Английский словарь. New big Russian-English dictionary. 2012