Text this: Lectures on logic