Seconding this. His other books are great as well (Reverse Mathematics, Naive Lie Theory). Great writer.