Text this: Logical Foundations of Computer Science