I give this book 5 stars out of respect for its enormous contribution to mathematical logic; for no doubt many …