Text this: Introduction to logic and computer design