Introduction to Mathematical Logic

This book demonstrates that mathematical logic, while being one of the most fascinating and fundamental areas of mathematics, is also associated with a significant level of conceptual difficulty. This challenge is reflected in most existing textbooks on the subject. Accordingly, there is a clear need for a reader-friendly textbook that systematically presents the foundational principles of mathematical logic in a clear, accessible, and pedagogically effective manner. This book fulfills that need by offering a thorough and structured exposition of the basic concepts, complemented by carefully selected exercises and illustrative examples that demonstrate their practical application. The structure of the book follows the syllabus of standard university courses in mathematical logic and related topics. Originally developed from lecture notes prepared for teaching purposes, the material has been substantially expanded and refined into a complete and self-contained textbook. The aim of this book is to provide a comprehensive reference for the study of mathematical logic, both at a theoretical and a practical level, for undergraduate and graduate-level courses in mathematical logic and related areas.