Logic, algebra and database. - Ellis Horwood, 1984. - ( Ellis Horwood series in mathematics and its applications ).