Text this: Solutions to selected exercises in The logic book /