Kleene's textbook is one of the fundamental texts of mathematical logic. It is easy to see why it is (supposedly) …
