Email Record: Solutions to selected exercises in The logic book /