TY - BOOK AU - Open University TI - Logic I Boolean algebra CY - Bletchley,Buck ER -