Text this: Lectures on Logic and Computation