Методы и средства булевой и К-значной логики в системах реляционных баз данныхТавпаш, Юрий Андреевич199422 с.