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