A subfield of mathematics that applies formal logic to mathematical contexts is called mathematical logic. It is intricately linked with the foundations of metamathematics, mathematics, and theoretical computer science. Central to its study are the analysis of the deductive capabilities of formal proof systems and the expressive potential of formal systems. Primary subfields within mathematical logic include set theory, recursion theory, proof theory, model theory, each with its unique focus. Propositional logic and first-order logic systems are extensively investigated for their relevance to the foundations of mathematics. Moreover, classical logic systems such as second-order logic or infinitary logic, along with nonclassical logic systems like intuitionistic logic, are areas of exploration in this field. The topics included in this book on mathematical logic are of utmost significance and bound to provide incredible insights to readers. It includes topics that deal with the basic to the most complex concepts and approaches of this area. It will serve as a valuable source of reference for graduate and postgraduate students.