Crama, Yves Boolean models and methods in mathematics computer science, and engineering - Cambridge Cambridge university press 2010 - xviii, 759 p. ; 24.5 cm ISBN: 9780521847520 Dewey Class. No.: 511.324 / CRA