Modern Mathematical Logic

This textbook provides a comprehensive and modern introduction to mathematical logic, emphasizing interactions with other branches of mathematics and using contemporary notation and perspectives. It covers basic concepts, completeness, compactness, and incompleteness, and introduces model theory, set theory, and computability. With numerous examples and exercises, it is suitable for upper-undergraduate or beginning-graduate courses.

Format: Hardback
Length: 550 pages
Publication date: 22 September 2022
Publisher: Cambridge University Press

This comprehensive textbook provides a modern and thorough introduction to mathematical logic. The author employs contemporary notation, conventions, and perspectives throughout, emphasizing interactions with other branches of mathematics. In addition to covering fundamental concepts such as mathematical logic, completeness, compactness, and incompleteness, the text dedicates substantial space to comprehensive introductions to key pillars of the modern subject: model theory, set theory, and computability. With a modest background in undergraduate mathematics, the text is easily adaptable for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce key ideas and illustrate their applications, while a wealth of classroom-tested exercises help consolidate readers' understanding. Thorough and engaging, this book offers a fresh perspective on this enduringly fascinating and important subject.

Weight: 1100g
ISBN-13: 9781108833141