If you liked G?del's proof by Ernest Nagel and James R Newman,
here are some books like this: