This is an introductory textbook on modern mathematical logic, aimed at upper-level undergraduates. It has no explicit mathematical prerequisites, although most of the examples are based on abstract algebra and it uses Tychonoff's theorem at one spot. It has some coverage of most areas of mathematical logic, but its focus is on Gödel's Completeness and Incompleteness Theorems.

The book suffers an absence of overview material. For example, Gödel's arithmetization of theories is obviously a key topic in this subject. There must be dozens of popular math books that explain the idea of turning statements into numbers and give a few contrived examples, but there's none of that in this book — arithmetization is just another definition (and one that's not even listed in the index).

We deal with many kinds of logical structures and it's hard for the beginners who are the audience for this book to understand their differences and their importance. The text follows a traditional Definition-Theorem-Proof style, and it's often hard to see what path we are following, The first two chapters deal with syntax and semantics of first-order logic, although we don't make much progress beyond definitions. Then we switch to propositional logic, which would more normally come before first-order logic. Then we go back to first-order logic for a while and actually prove some theorems. Finally we get to the main purpose of the book: Gödel's results.

The book is well-equipped with examples in the beginning, but these get sparser as we go on. There are lots of known examples of complete and incomplete systems and of undecidable statements, and it would have been nice to survey those here even if we can't go into their proofs.

The book also suffers from an inadequate index. Mathematical logic has a tremendous amount of specialized terminology and symbology, and much of what is defined here does not appear in the index. When you forget what a symbol or term means, your only recourse is leaf through the past pages looking for it. I'm not a logician, but I didn't have much trouble following the book on a "local" level. The trouble came when we referred back to something that had happened 20 pages ago and I had forgotten what a term meant, and couldn't find it in the index.

Allen Stenger is a math hobbyist, library propagandist, and retired computer programmer. He volunteers in his spare time at MathNerds.com, a math help site that fosters inquiry learning. His mathematical interests are number theory and classical analysis.