A Course in Mathematical Logic for Mathematicians

Focusing on modern mathematical logic, this updated edition enhances its appeal to working mathematicians by retaining intuitive elements while introducing new chapters, including one on Model Theory. It combines foundational concepts with contemporary insights, making it a valuable resource for both beginners and those looking to deepen their understanding of the subject.