Title: Logica en model
Subjects: Symbolic and mathematical Logic, Model theory