The book focuses on First Order Logic (FOL), its essential properties and on how it semantically works. The textbook is designed for advanced classes in Logic in Philosophy and Computing Faculties.
The book offers a detailed analysis of FOL and it explores some interesting connections with Arithmetic, Geometry or Set Theory.