From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary
Honestly, I did not like this book very much. It's kind of weird. Yes, it is an introduction to the field, but it's overly formal and notation-heavy. It feels like learning high school calculus from Newton's or Leibniz's original texts. It is rigorous and high-quality though, but maybe a bit outdated in its methods.