Text this: Fundamentals of computer logic