Text this: Boolean logic, expressions and theories : an overview / [edited by Victoria C. Carlsen].