A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic... ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems.