Title: Introduction to Semantics and Formalization of Logic
Subjects: Semantics (philosophy), Logic, symbolic and mathematical