The many wonderful examples relate mathematical logic to other areas of mathematics. Beyond the usual setup and culmination with completeness and incompleteness, Mileti gives a strong introduction to ...