Handbook of Analysis and Its Foundations

Handbook of Analysis and its Foundations was intended for beginning graduate students, or other people at approximately that level of mathematical sophistication. I strove for elegance and order. Naturally, I'm pleased to see the favorable reviews on Amazon. But I'm a little surprised that HAF's introduction to logic was praised. Although HAF's treatment of set theory is both clear and insightful, HAF's treatment of logic is merely clear; I now see it as somewhat mechanical. I wrote it when I was a beginner in the subject, and did not have a lot of insight. For insights into logic, I recommend my later book, Classical and Nonclassical Logics. CNL is intended for undergraduate students, a much more elementary audience, and so it has a different style: It is more repetitious and less elegant. Still, the computations in the early chapters do lead up to some very satisfying theoretical results in the later chapters, and I think I've managed to find and convey some real insight of what logic is about. (But see the book's web page before you buy the book.)