Modern Mathematical Logic (Cambridge Mathematical Textbooks) New Edition by Joseph Mileti
About the book
This textbook provides a complete, up-to-date introduction to mathematical logic.
The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics.
In addition to covering basic concepts of mathematical logic and basic material on completeness, compactness, and incompleteness, it devotes considerable space to thorough introductions to pillars of the modern subject: form theory, set theory, and computability.
Requiring only a modest undergraduate mathematics background, the text can be easily adapted to a variety of one- or two-semester courses at the upper undergraduate or graduate level.
Numerous examples reinforce the main ideas and illustrate their applications, and a wide range of classroom-tested exercises is useful for enhancing readers’ understanding.
This comprehensive and engaging book offers a fresh approach to this fascinating and enduringly important topic.