Title: Introduction to semantics, and Formalization of logic
Subjects: Semantics (Philosophy), Logic, Symbolic and mathematical, Symbolic and mathematical Logic