Title: Introduzione semantica alla logica matematica
Subjects: Formal languages, Model theory, Symbolic and mathematical Logic