Solutions to exercises in The logic book